2 papers
cs.AI2026
Learning to Disprove: Formal Counterexample Generation with Large Language Models
Zenan Li, Zhaoyu Li, Kaiyu Yang +2
Mathematical reasoning demands two critical, complementary skills: constructing rigorous proofs for true statements and discovering counterexamples that disprove false ones. Howeve…
cs.PL2025
An Empirical Study of Rust-Specific Bugs in the rustc Compiler
Zixi Liu, Yang Feng, Yunbo Ni +5
Rust is gaining popularity for its well-known memory safety guarantees and high performance, distinguishing it from C/C++ and JVM-based languages. Its compiler, rustc, enforces the…