Skip to content
VuFind
  • Login
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
Advanced
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Save to List
  • Permanent link
Cover Image

Saved in:
Bibliographic Details
Main Authors: Wang, Haiming, Unsal, Mert, Lin, Xiaohan, Baksys, Mantas, Liu, Junqi, Santos, Marco Dos, Sung, Flood, Vinyes, Marina, Ying, Zhenzhe, Zhu, Zekai, Lu, Jianqiao, de Saxcé, Hugues, Bailey, Bolton, Song, Chendong, Xiao, Chenjun, Zhang, Dehao, Zhang, Ebony, Pu, Frederick, Zhu, Han, Liu, Jiawei, Bayer, Jonas, Michel, Julien, Yu, Longhui, Dreyfus-Schmidt, Léo, Tunstall, Lewis, Pagani, Luigi, Machado, Moreira, Bourigault, Pauline, Wang, Ran, Polu, Stanislas, Barroyer, Thibaut, Li, Wen-Ding, Niu, Yazhe, Fleureau, Yann, Hu, Yangyang, Yu, Zhouliang, Wang, Zihan, Yang, Zhilin, Liu, Zhengying, Li, Jia
Format: Preprint
Published: 2025
Subjects:
Artificial Intelligence
Online Access:https://arxiv.org/abs/2504.11354
Tags: Add Tag
No Tags, Be the first to tag this record!
  • Holdings
  • Description
  • Table of Contents
  • Comments
  • Similar Items
  • Staff View

Internet

https://arxiv.org/abs/2504.11354

Similar Items

  • Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification
    by: Santos, Marco Dos, et al.
    Published: (2025)
  • MINIF2F-DAFNY: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification
    by: Baksys, Mantas, et al.
    Published: (2025)
  • LeanGeo: Formalizing Competitional Geometry problems in Lean
    by: Song, Chendong, et al.
    Published: (2025)
  • FrEVL: Leveraging Frozen Pretrained Embeddings for Efficient Vision-Language Understanding
    by: Bourigault, Emmanuelle, et al.
    Published: (2025)
  • MVDiff: Scalable and Flexible Multi-View Diffusion for 3D Object Reconstruction from Single-View
    by: Bourigault, Emmanuelle, et al.
    Published: (2024)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels
  • Course Reserves
  • New Items

Need Help?

  • Search Tips
  • Ask a Librarian
  • FAQs