6 citations · 6 across the 5 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Does the Proof Prove It That Way? Faithful Formalization of Elements Proofs
Tadd Mao, Tianjun Zhong, Dhruva Arekar +5
In formal verification, both the autoformalization of statements and automated proof search have been studied extensively. While automated proof search can produce a formal proof t…
cs.AI2024★ 6 cited
Relational Programming with Foundation Models
Ziyang Li, Jiani Huang, Jason Liu +6
Foundation models have vast potential to enable diverse AI applications. The powerful yet incomplete nature of these models has spurred a wide range of mechanisms to augment them w…