Instant research discovery
Search and browse ingested papers with intelligence signals and fast filtering.
| Paper | Year | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
| Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents Josef Urban, Cezary Kaliszyk, Chad E. Brown Year: 2026Area: cs.LOCitations: - Tags: cslo, ai-safety, preprint | 2026 | cs.LO | cslo, ai-safety, preprint | E7 / R3 (94%) | - |
| Incremental Neural Network Verification via Learned Conflicts Raya Elsaleh, Haoze Wu, Liam Davis, Guy Katz Year: 2026Area: cs.LOCitations: - Tags: cslo, ai-safety, preprint | 2026 | cs.LO | cslo, ai-safety, preprint | - | - |
| Twitch: Learning Abstractions for Equational Theorem Proving Moa Johansson, Guy Axelrod, Nicholas Smallbone Year: 2026Area: cs.LOCitations: - Tags: cslo, ai-safety, preprint | 2026 | cs.LO | cslo, ai-safety, preprint | E5 / R4 (96%) | - |
Showing 3 of 3 papers on page 1.