ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2510.06857
  4. Cited By
Autoformalizer with Tool Feedback

Autoformalizer with Tool Feedback

8 October 2025
Qi Guo
Jianing Wang
J. Zhang
Deyang Kong
X. Y. Huang
Xiangyu Xi
Wei Wang
Jingang Wang
Xunliang Cai
Shikun Zhang
Wei Ye
ArXiv (abs)PDFHTMLGithub (123★)

Papers citing "Autoformalizer with Tool Feedback"

2 / 2 papers shown
Title
Learnable Sampler Distillation for Discrete Diffusion Models
Learnable Sampler Distillation for Discrete Diffusion Models
Feiyang Fu
Tongxian Guo
Zhaoqiang Liu
DiffM
57
0
0
24 Sep 2025
A Continuous-Time Consistency Model for 3D Point Cloud Generation
A Continuous-Time Consistency Model for 3D Point Cloud Generation
Sebastian Eilermann
Rene Heesch
Oliver Niggemann
3DPC
48
0
0
01 Sep 2025
1