TrustGeoGen: Scalable and Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving
Paper
•
2504.15780
•
Published
•
4
Fu
DarcoFu
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 23 hours ago
TrustGeoGen: Scalable and Formal-Verified Data Engine for Trustworthy
Multi-modal Geometric Problem Solving
upvoted
a
paper
about 2 months ago
MM-Eureka: Exploring Visual Aha Moment with Rule-based Large-scale
Reinforcement Learning
Organizations
