Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification
Goodhart’s Law (of AI)
doctorow.medium.com·1d
Valuable News – 2025/08/11
vermaden.wordpress.com·1d
InterChart: Benchmarking Visual Reasoning Across Decomposed and Distributed Chart Information
arxiv.org·1d
Loading...Loading more...