vix.ing
·
top
·
new
·
best
·
stats
·
spec
Madhusudan Parthasarathy
Faithful Autoformalization of Natural Language Assertions
2026/07/14 by
Hongyi Liu
,
Madhusudan Parthasarathy
,
Adithya Murali
#cs.SE
#cs.AI