FengdiFlo/VeriEquivBench
Updated
• 1
Fengdi Che
FengdiFlo
AI & ML interests
None yet
Recent Activity
published
a dataset 1 day ago
FengdiFlo/VeriEquivBench upvoted a paper about 2 months ago
Dynamic Large Concept Models: Latent Reasoning in an Adaptive Semantic Space authored
a paper
7 months ago
Re:Form -- Reducing Human Priors in Scalable Formal Software
Verification with RL in LLMs: A Preliminary Study on Dafny Organizations
None yet