Aletheia

Researchers introduced OpenProver, an open-source system for LLM-driven automated theorem proving with Lean 4 formal verification. The system uses a Planner-Worker-Verifier architecture and offers bot…

Stegcore, a new Rust-based steganography tool, hides encrypted messages inside images and audio files without altering their appearance, offering deniable dual-payload mode and steganalysis at Alethei…

Researchers have developed Research Math Agents (RMA), an agentic framework that automates reasoning on research-level mathematical problems by decomposing proof-solving into specialized modules coord…