:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	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
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence
Accesso online:	https://arxiv.org/abs/2504.11354
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification
di: Santos, Marco Dos, et al.
Pubblicazione: (2025)

MINIF2F-DAFNY: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification
di: Baksys, Mantas, et al.
Pubblicazione: (2025)

LeanGeo: Formalizing Competitional Geometry problems in Lean
di: Song, Chendong, et al.
Pubblicazione: (2025)

FrEVL: Leveraging Frozen Pretrained Embeddings for Efficient Vision-Language Understanding
di: Bourigault, Emmanuelle, et al.
Pubblicazione: (2025)

MVDiff: Scalable and Flexible Multi-View Diffusion for 3D Object Reconstruction from Single-View
di: Bourigault, Emmanuelle, et al.
Pubblicazione: (2024)

Los usos públicos del pasado en Europa: hacia una memoria sincrética
di: Ricard Vinyes Ribas
Pubblicazione: (2015)

PERMANENCIA Y CAMBIO EN LA CULTURA DE LAS CLASES SUBALTERNAS
di: Ricard Vinyes Ribas
Pubblicazione: (2000)

ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis
di: Baksys, Mantas, et al.
Pubblicazione: (2025)

FormalAlign: Automated Alignment Evaluation for Autoformalization
di: Lu, Jianqiao, et al.
Pubblicazione: (2024)

World Models in Words: Auditing Physical State-Transition Commitments in Vision-Language Models
di: Bourigault, Emmanuelle
Pubblicazione: (2026)

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
di: Lin, Xiaohan, et al.
Pubblicazione: (2024)

Behavioral Signatures in Action: Advancing Real-Time Fraud Prevention through Intelligent Analytics
di: Sharath Reddy Polu
Pubblicazione: (2025)

Cosserat media in dynamics
di: de Saxcé, Géry
Pubblicazione: (2024)

Electric? Then it is geometric
di: de Saxcé, Géry
Pubblicazione: (2025)

Variational theory of Cosserat arches and affine tensors
di: de Saxcé, Géry
Pubblicazione: (2026)

Which symmetry group for elementary particles with an electric charge today and in the past?
di: de Saxcé, Géry
Pubblicazione: (2024)

On Jean-Marie Souriau's geometric quantization of the relativistic electron
di: de Saxcé, Géry
Pubblicazione: (2026)

Forward-Backward Reasoning in Large Language Models for Mathematical Verification
di: Jiang, Weisen, et al.
Pubblicazione: (2023)

Filamentation and inhibition of prokaryotic CTP synthase with ligands
di: Chenjun Guo, et al.
Pubblicazione: (2024)

Synthesis and High‐Value Applications of Emerging Biomass‐Based Porous Organic Polymers
di: Chenjun Liu, et al.
Pubblicazione: (2026)

Flexural properties and evaluation of Al‐CFRP self‐pierce riveted laminates under three‐point bending loads
di: Yazhe Wang, et al.
Pubblicazione: (2024)

WybeCoder: Verified Imperative Code Generation
di: Gloeckle, Fabian, et al.
Pubblicazione: (2026)

Drawing bodies/drawing students: making up relationships in curriculum reform
di: Ebony Flowers
Pubblicazione: (2015)

tt386/tuning-selection: Code release for "Tuning spatial distributions of selection pressure to suppress emergence of resistance"
di: Thomas Tunstall
Pubblicazione: (2026)

How Social Network Structure Impacts the Ability of Zealots to Promote Weak Opinions
di: Tunstall, Thomas
Pubblicazione: (2024)

Leanabell-Prover: Posttraining Scaling in Formal Reasoning
di: Zhang, Jingyuan, et al.
Pubblicazione: (2025)

Local distribution of rational points in flag varieties
di: Huang, Zhizhong, et al.
Pubblicazione: (2025)

Kernel-Based Anomaly Detection Using Generalized Hyperbolic Processes
di: Bourigault, Pauline, et al.
Pubblicazione: (2025)

Semisimple random walks on the torus
di: He, Weikun, et al.
Pubblicazione: (2022)

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
di: Shen, Ziju, et al.
Pubblicazione: (2025)

MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models
di: Yu, Longhui, et al.
Pubblicazione: (2023)

Robust Video-Based Pothole Detection and Area Estimation for Intelligent Vehicles with Depth Map and Kalman Smoothing
di: Wang, Dehao, et al.
Pubblicazione: (2025)

Proving Theorems Recursively
di: Wang, Haiming, et al.
Pubblicazione: (2024)

Low‐Dose Golidocitinib for Triple‐Mutant (JAK1/STAT3/TET2) ITLPD‐GI After DLBCL Remission
di: Wenwen Wang, et al.
Pubblicazione: (2026)

Orthogonal projection, dual Furstenberg problem, and discretized sum-product
di: Li, Longhui, et al.
Pubblicazione: (2024)

Fourier Frames on Salem Measures
di: Li, Longhui, et al.
Pubblicazione: (2025)

Dimension of Diophantine approximation and some applications in harmonic analysis
di: Li, Longhui, et al.
Pubblicazione: (2024)

System Report for CCL25-Eval Task 10: SRAG-MAV for Fine-Grained Chinese Hate Speech Recognition
di: Wang, Jiahao, et al.
Pubblicazione: (2025)

OG-PCL: Efficient Sparse Point Cloud Processing for Human Activity Recognition
di: Yan, Jiuqi, et al.
Pubblicazione: (2025)

PECL: A Heterogeneous Parallel Multi-Domain Network for Radar-Based Human Activity Recognition
di: Yan, Jiuqi, et al.
Pubblicazione: (2025)