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"

3 / 3 papers shown
Title
Advancing End-to-End Pixel Space Generative Modeling via Self-supervised Pre-training
Advancing End-to-End Pixel Space Generative Modeling via Self-supervised Pre-training
Jiachen Lei
Keli Liu
Julius Berner
Haiming Yu
Hongkai Zheng
Jiahong Wu
Xiangxiang Chu
DiffM
8
1
0
14 Oct 2025
Learnable Sampler Distillation for Discrete Diffusion Models
Learnable Sampler Distillation for Discrete Diffusion Models
Feiyang Fu
Tongxian Guo
Zhaoqiang Liu
DiffM
65
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
52
0
0
01 Sep 2025
1