7 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.LG2026
TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
Alexander K Taylor, Junyi Zhang, Ethan Ji +10
Automated theorem proving (ATP) benchmarks largely consist of problems formalized in MathLib, so current ATP training and evaluation are heavily biased toward MathLib's definitiona…
cs.NI2021★ 7 cited
Unlocking the Power of Inline Floating-Point Operations on Programmable Switches
Yifan Yuan, Omar Alama, Amedeo Sapio +5
The advent of switches with programmable dataplanes has enabled the rapid development of new network functionality, as well as providing a platform for acceleration of a broad rang…