All paper pages
28734 retained paper pages. Page 239 of 288.
- DiffusionBlocks: Block-wise Neural Network Training via Diffusion Interpretation
Makoto Shing, Masanori Koyama, Takuya Akiba · 2025
- Reinforcement Learning with Verifiable Rewards Implicitly Incentivizes Correct Reasoning in Base LLMs
Xumeng Wen, Zihan Liu, Shun Zheng, Shengyu Ye, Zhirong Wu, Yang Wang, Zhijian Xu, Xiao Liang, Junjie Li, Ziming Miao, Jiang Bian, Mao Yang · 2025
- GHz spiking neuromorphic photonic chip with in-situ training
Jinlong Xiang, Xinyuan Fang, Jie Xiao, Youlve Chen, An He, Yaotian Zhao, Zhenyu Zhao, Yikai Su, Min Gu, Xuhan Guo · 2025
- The Impact of Generative AI on Social Media: An Experimental Study
Anders Giovanni Møller, Daniel M. Romero, David Jurgens, Luca Maria Aiello · 2025
- Tensor Manipulation Unit (TMU): Reconfigurable, Near-Memory Tensor Manipulation for High-Throughput AI SoC
Weiyu Zhou, Zheng Wang, Chao Chen, Yike Li, Yongkui Yang, Zhuoyu Wu, Anupam Chattopadhyay · 2025
- Perihelion precession of planetary orbits solved from quantum field theory
Mikko Partanen, Jukka Tulkki · 2025
- AIRTBench: Measuring Autonomous AI Red Teaming Capabilities in Language Models
Ads Dawson, Rob Mulla, Nick Landers, Shane Caldwell · 2025
- Large Language Models -- the Future of Fundamental Physics?
Caroline Heneka, Florian Nieser, Ayodele Ore, Tilman Plehn, Daniel Schiller · 2025
- From Bytes to Ideas: Language Modeling with Autoregressive U-Nets
Mathurin Videau, Badr Youbi Idrissi, Alessandro Leite, Marc Schoenauer, Olivier Teytaud, David Lopez-Paz · 2025
- The Cosmological Constant from a Quantum Gravitational $θ$-Vacua and the Gravitational Hall Effect
Stephon Alexander, Heliudson Bernardo, Aaron Hui · 2025
- Detection of pure warm-hot intergalactic medium emission from a $7.2$ Mpc long filament in the Shapley supercluster using X-ray spectroscopy
Konstantinos Migkas, Florian Pacaud, Toni Tuominen, Nabila Aghanim · 2025
- You Only Render Once: Enhancing Energy and Computation Efficiency of Mobile Virtual Reality
Xingyu Chen, Xinmin Fang, Shuting Zhang, Xinyu Zhang, Liang He, Zhengxiong Li · 2025
- ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs
Feng He, Zijun Chen, Xinnian Liang, Tingting Ma, Yunqi Qiu, Shuangzhi Wu, Junchi Yan · 2025
- Approximating Language Model Training Data from Weights
John X. Morris, Junjie Oscar Yin, Woojeong Kim, Vitaly Shmatikov, Alexander M. Rush · 2025
- CXL-GPU: Pushing GPU Memory Boundaries with the Integration of CXL Technologies
Donghyun Gouk, Seungkwan Kang, Seungjun Lee, Jiseon Kim, Kyungkuk Nam, Eojin Ryu, Sangwon Lee, Dongpyung Kim, Junhyeok Jang, Hanyeoreum Bae, Myoungsoo Jung · 2025
- Non-uniform finite-element meshes defined by ray dynamics for Helmholtz problems
Martin Averseng, Jeffrey Galkowski, Euan A. Spence · 2025
- SwarmAgentic: Towards Fully Automated Agentic System Generation via Swarm Intelligence
Yao Zhang, Chenyang Lin, Shijie Tang, Haokun Chen, Shijie Zhou, Yunpu Ma, Volker Tresp · 2025
- Leaky Thoughts: Large Reasoning Models Are Not Private Thinkers
Tommaso Green, Martin Gubri, Haritz Puerto, Sangdoo Yun, Seong Joon Oh · 2025
- Sekai: A Video Dataset towards World Exploration
Zhen Li, Chuanhao Li, Xiaofeng Mao, Shaoheng Lin, Ming Li, Shitian Zhao, Zhaopan Xu, Xinyue Li, Yukang Feng, Jianwen Sun, Zizhen Li, Fanrui Zhang, Jiaxin Ai, Zhixiang Wang, Yuwei Wu, Tong He, Jiangmiao Pang, Yu Qiao, Yunde Jia, Kaipeng Zhang · 2025
- MLE-STAR: Machine Learning Engineering Agent via Search and Targeted Refinement
Jaehyun Nam, Jinsung Yoon, Jiefeng Chen, Jinwoo Shin, Sercan Ö. Arık, Tomas Pfister · 2025
- Adaptive Two Sided Laplace Transforms: A Learnable, Interpretable, and Scalable Replacement for Self-Attention
Andrew Kiruluta · 2025
- HetGPU: The pursuit of making binary compatibility towards GPUs
Yiwei Yang, Yusheng Zheng, Tong Yu, Andi Quinn · 2025
- Watermarking Autoregressive Image Generation
Nikola Jovanović, Ismail Labiad, Tomáš Souček, Martin Vechev, Pierre Fernandez · 2025
- ML-Master: Towards AI-for-AI via Integration of Exploration and Reasoning
Zexi Liu, Yuzhu Cai, Xinyu Zhu, Yujie Zheng, Runkun Chen, Ying Wen, Yanfeng Wang, Weinan E, Siheng Chen · 2025
- Arch-Router: Aligning LLM Routing with Human Preferences
Co Tran, Salman Paracha, Adil Hafeez, Shuguang Chen · 2025
- An improved example for an autoconvolution inequality
Christopher Boyer, Zane Kun Li · 2025
- Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
Christoph Jung, C. F. Bolz-Tereick · 2025
- The Hidden Cost of an Image: Quantifying the Energy Consumption of AI Image Generation
Giulia Bertazzini, Chiara Albisani, Daniele Baracchi, Dasara Shullani, Roberto Verdecchia · 2025
- Machine Mental Imagery: Empower Multimodal Reasoning with Latent Visual Tokens
Zeyuan Yang, Xueyang Yu, Delin Chen, Maohao Shen, Chuang Gan · 2025
- Chunk Twice, Embed Once: A Systematic Study of Segmentation and Representation Trade-offs in Chemistry-Aware Retrieval-Augmented Generation
Mahmoud Amiri, Thomas Bocklitz · 2025
- Mercury: Ultra-Fast Language Models Based on Diffusion
Inception Labs, Samar Khanna, Siddhant Kharbanda, Shufan Li, Harshit Varma, Eric Wang, Sawyer Birnbaum, Ziyang Luo, Yanis Miraoui, Akash Palrecha, Stefano Ermon, Aditya Grover, Volodymyr Kuleshov · 2025
- PRAISE: Enhancing Product Descriptions with LLM-Driven Structured Insights
Adnan Qidwai, Srija Mukhopadhyay, Prerana Khatiwada, Dan Roth, Vivek Gupta · 2025
- PPMI: Privacy-Preserving LLM Interaction with Socratic Chain-of-Thought Reasoning and Homomorphically Encrypted Vector Databases
Yubeen Bae, Minchan Kim, Jaejin Lee, Sangbum Kim, Jaehyung Kim, Yejin Choi, Niloofar Mireshghallah · 2025
- Resource Rational Contractualism Should Guide AI Alignment
Sydney Levine, Matija Franklin, Tan Zhi-Xuan, Secil Yanik Guyot, Lionel Wong, Daniel Kilov, Yejin Choi, Joshua B. Tenenbaum, Noah Goodman, Seth Lazar, Iason Gabriel · 2025
- Radio emission from airplanes as observed with RNO-G
RNO-G Collaboration, :, S. Agarwal, J. A. Aguilar, N. Alden, S. Ali, P. Allison, M. Betts, D. Besson, A. Bishop, O. Botner, S. Bouma, S. Buitink, R. Camphyn, J. Chan, S. Chiche, B. A. Clark, A. Coleman, K. Couberly, S. de Kockere, K. D. de Vries, C. Deaconu, P. Giri, C. Glaser, T. Glüsenkamp, H. Gui, A. Hallgren, S. Hallmann, J. C. Hanson, K. Helbing, B. Hendricks, J. Henrichs, N. Heyer, C. Hornhuber, E. Huesca Santiago, K. Hughes, A. Jaitly, T. Karg, A. Karle, J. L. Kelley, J. Kimo, C. Kopper, M. Korntheuer, M. Kowalski, I. Kravchenko, R. Krebs, M. Kugelmeier, R. Lahmann, C. -H. Liu, M. J. Marsee, Z. S. Meyers, K. Mulrey, M. Muzio, A. Nelles, A. Novikov, A. Nozdrina, E. Oberla, B. Oeyen, N. Punsuebsay, L. Pyras, M. Ravn, A. Rifaie, D. Ryckbosch, O. Schlemper, F. Schlüter, O. Scholten, D. Seckel, M. F. H. Seikh, J. Stachurska, J. Stoffels, S. Toscano, D. Tosi, J. Tutt, D. J. Van Den Broeck, N. van Eijndhoven, A. G. Vieregg, A. Vijai, C. Welling, D. R. Williams, P. Windischhofer, S. Wissel, R. Young, A. Zink · 2025
- Feasibility study of a mission to Sedna -- Nuclear propulsion and advanced solar sailing concepts
Elena Ancona, Roman Ya. Kezerashvili, Savino Longo · 2025
- PhysiX: A Foundation Model for Physics Simulations
Tung Nguyen, Arsh Koneru, Shufan Li, Aditya Grover · 2025
- Why Do Some Language Models Fake Alignment While Others Don't?
Abhay Sheshadri, John Hughes, Julian Michael, Alex Mallen, Arun Jose, Janus, Fabien Roger · 2025
- HE-LRM: Encrypted Deep Learning Recommendation Models using Fully Homomorphic Encryption
Karthik Garimella, Austin Ebel, Gabrielle De Micheli, Brandon Reagen · 2025
- Understanding Reasoning in Thinking Language Models via Steering Vectors
Constantin Venhoff, Iván Arcuschin, Philip Torr, Arthur Conmy, Neel Nanda · 2025
- RLPR: Extrapolating RLVR to General Domains without Verifiers
Tianyu Yu, Bo Ji, Shouli Wang, Shu Yao, Zefan Wang, Ganqu Cui, Lifan Yuan, Ning Ding, Yuan Yao, Zhiyuan Liu, Maosong Sun, Tat-Seng Chua · 2025
- Robotic Manipulation of a Rotating Chain with Bottom End Fixed
Qi Jing Chen, Shilin Shan, Quang-Cuong Pham · 2025
- The Debugging Decay Index: Rethinking Debugging Strategies for Code LLMs
Muntasir Adnan, Carlos C. N. Kuhn · 2025
- Old problem revisited: Which equilateral convex polygons tile the plane?
Bernhard Klaassen · 2025
- The Theory of Economic Complexity
César A. Hidalgo, Viktor Stojkoski · 2025
- OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
Yiyou Sun, Shawn Hu, Georgia Zhou, Ken Zheng, Hannaneh Hajishirzi, Nouha Dziri, Dawn Song · 2025
- FilMaster: Bridging Cinematic Principles and Generative AI for Automated Film Generation
Kaiyi Huang, Yukun Huang, Xintao Wang, Zinan Lin, Xuefei Ning, Pengfei Wan, Di Zhang, Yu Wang, Xihui Liu · 2025
- TC-Light: Temporally Coherent Generative Rendering for Realistic World Transfer
Yang Liu, Chuanchen Luo, Zimo Tang, Yingyan Li, Yuran Yang, Yuanyong Ning, Lue Fan, Junran Peng, Zhaoxiang Zhang · 2025
- HI-SQL: Optimizing Text-to-SQL Systems through Dynamic Hint Integration
Ganesh Parab, Zishan Ahmad, Dagnachew Birru · 2025
- Broken Tokens? Your Language Model can Secretly Handle Non-Canonical Tokenizations
Brian Siyuan Zheng, Alisa Liu, Orevaoghene Ahia, Jonathan Hayase, Yejin Choi, Noah A. Smith · 2025
- Reading Smiles: Proxy Bias in Foundation Models for Facial Emotion Recognition
Iosif Tsangko, Andreas Triantafyllopoulos, Adem Abdelmoula, Adria Mallol-Ragolta, Bjoern W. Schuller · 2025
- Simulated impact on LSST data of Starlink V1.5 and V2 satellites
Phanindra Kandula, J. Anthony Tyson, Jacob Askari, Forrest Fankhauser · 2025
- PrITTI: Primitive-based Generation of Controllable and Editable 3D Semantic Urban Scenes
Christina Ourania Tze, Daniel Dauner, Yiyi Liao, Dzmitry Tsishkou, Andreas Geiger · 2025
- Thought Anchors: Which LLM Reasoning Steps Matter?
Paul C. Bogdan, Uzay Macar, Neel Nanda, Arthur Conmy · 2025
- The MOTIF Hand: A Robotic Hand for Multimodal Observations with Thermal, Inertial, and Force Sensors
Hanyang Zhou, Haozhe Lou, Wenhao Liu, Enyu Zhao, Yue Wang, Daniel Seita · 2025
- Future of Quantum Computing
Scott Aaronson, Andrew M. Childs, Edward Farhi, Aram W. Harrow, Barry C. Sanders · 2025
- Shelby: Decentralized Storage Designed to Serve
Guy Goren, Andrew Hariri, Timothy D. R. Hartley, Ravi Kappiyoor, Alexander Spiegelman, David Zmick · 2025
- Building a monostable tetrahedron
Gergő Almádi, Robert J. MacG. Dawson, Gábor Domokos · 2025
- A Perspective on Quantum Computing Applications in Quantum Chemistry using 25--100 Logical Qubits
Yuri Alexeev, Victor S. Batista, Nicholas Bauman, Luke Bertels, Daniel Claudino, Rishab Dutta, Laura Gagliardi, Scott Godwin, Niranjan Govind, Martin Head-Gordon, Matthew Hermes, Karol Kowalski, Ang Li, Chenxu Liu, Junyu Liu, Ping Liu, Juan M. Garcia-Lustra, Daniel Mejia-Rodriguez, Karl Mueller, Matthew Otten, Bo Peng, Mark Raugus, Markus Reiher, Paul Rigor, Wendy Shaw, Mark van Schilfgaarde, Tejs Vegge, Yu Zhang, Muqing Zheng, Linghua Zhu · 2025
- Measuring and Guiding Monosemanticity
Ruben Härle, Felix Friedrich, Manuel Brack, Stephan Wäldchen, Björn Deiseroth, Patrick Schramowski, Kristian Kersting · 2025
- Computational Platonism
Asvin G · 2025
- Persona Features Control Emergent Misalignment
Miles Wang, Tom Dupré la Tour, Olivia Watkins, Alex Makelov, Ryan A. Chi, Samuel Miserendino, Jeffrey Wang, Achyuta Rajaram, Johannes Heidecke, Tejal Patwardhan, Dan Mossing · 2025
- Radial Attention: $O(n\log n)$ Sparse Attention with Energy Decay for Long Video Generation
Xingyang Li, Muyang Li, Tianle Cai, Haocheng Xi, Shuo Yang, Yujun Lin, Lvmin Zhang, Songlin Yang, Jinbo Hu, Kelly Peng, Maneesh Agrawala, Ion Stoica, Kurt Keutzer, Song Han · 2025
- Position: Machine Learning Conferences Should Establish a "Refutations and Critiques" Track
Rylan Schaeffer, Joshua Kazdan, Yegor Denisov-Blanch, Brando Miranda, Matthias Gerstgrasser, Susan Zhang, Andreas Haupt, Isha Gupta, Elyas Obbad, Jesse Dodge, Jessica Zosa Forde, Francesco Orabona, Sanmi Koyejo, David Donoho · 2025
- Can LLMs Replace Humans During Code Chunking?
Christopher Glasz, Emily Escamilla, Eric O. Scott, Anand Patel, Jacob Zimmer, Colin Diggs, Michael Doyle, Scott Rosen, Nitin Naik, Justin F. Brunelle, Samruddhi Thaker, Parthav Poudel, Arun Sridharan, Amit Madan, Doug Wendt, William Macke, Thomas Schill · 2025
- An ab initio foundation model of wavefunctions that accurately describes chemical bond breaking
Adam Foster, Zeno Schätzle, P. Bernát Szabó, Lixue Cheng, Jonas Köhler, Gino Cassella, Nicholas Gao, Jiawei Li, Frank Noé, Jan Hermann · 2025
- CoVE: Compressed Vocabulary Expansion Makes Better LLM-based Recommender Systems
Haochen Zhang, Tianyi Zhang, Junze Yin, Oren Gal, Anshumali Shrivastava, Vladimir Braverman · 2025
- Universal pre-training by iterated random computation
Peter Bloem · 2025
- Direct High-Resolution Imaging of Earth-Like Exoplanets
Slava G. Turyshev · 2025
- TESSERA: Temporal Embeddings of Surface Spectra for Earth Representation and Analysis
Zhengpeng Feng, Clement Atzberger, Sadiq Jaffer, Jovana Knezevic, Silja Sormunen, Robin Young, Madeline C. Lisaius, Markus Immitzer, Toby Jackson, James Ball, David A. Coomes, Anil Madhavapeddy, Andrew Blake, Srinivasan Keshav · 2025
- Brains and language models converge on a shared conceptual space across different languages
Zaid Zada, Samuel A Nastase, Jixing Li, Uri Hasson · 2025
- The VLA Frontier Fields Survey: A 6GHz High-resolution Radio Survey of Abell2744
Esteban A. Orozco, Eric F. Jiménez-Andrade, Eric J. Murphy, Ian Smail, Emmanuel Momjian, Ian Heywood, Miguel Vega-Gutierrez, Christa DeCoursey · 2025
- DiffuCoder: Understanding and Improving Masked Diffusion Models for Code Generation
Shansan Gong, Ruixiang Zhang, Huangjie Zheng, Jiatao Gu, Navdeep Jaitly, Lingpeng Kong, Yizhe Zhang · 2025
- Continuous operation of a coherent 3,000-qubit system
Neng-Chun Chiu, Elias C. Trapp, Jinen Guo, Mohamed H. Abobeih, Luke M. Stewart, Simon Hollerith, Pavel Stroganov, Marcin Kalinowski, Alexandra A. Geim, Simon J. Evered, Sophie H. Li, Xingjian Lyu, Lisa M. Peters, Dolev Bluvstein, Tout T. Wang, Markus Greiner, Vladan Vuletić, Mikhail D. Lukin · 2025
- Architectural mechanisms of a universal fault-tolerant quantum computer
Dolev Bluvstein, Alexandra A. Geim, Sophie H. Li, Simon J. Evered, J. Pablo Bonilla Ataides, Gefen Baranes, Andi Gu, Tom Manovitz, Muqing Xu, Marcin Kalinowski, Shayan Majidy, Christian Kokail, Nishad Maskara, Elias C. Trapp, Luke M. Stewart, Simon Hollerith, Hengyun Zhou, Michael J. Gullans, Susanne F. Yelin, Markus Greiner, Vladan Vuletic, Madelyn Cain, Mikhail D. Lukin · 2025
- Cognitive models can reveal interpretable value trade-offs in language models
Sonia K. Murthy, Rosie Zhao, Jennifer Hu, Sham Kakade, Markus Wulfmeier, Peng Qian, Tomer Ullman · 2025
- Generative Blocks World: Moving Things Around in Pictures
Vaibhav Vavilala, Seemandhar Jain, Rahul Vasanth, D. A. Forsyth, Anand Bhattad · 2025
- The Ideation-Execution Gap: Execution Outcomes of LLM-Generated versus Human Research Ideas
Chenglei Si, Tatsunori Hashimoto, Diyi Yang · 2025
- Uncovering Hidden Violent Tendencies in LLMs: A Demographic Analysis via Behavioral Vignettes
Quintin Myers, Yanjun Gao · 2025
- Brain2Model Transfer: Training sensory and decision models with human neural activity as a teacher
Tomas Gallo Aquino, Victoria Liu, Habiba Azab, Raissa Mathura, Andrew J Watrous, Eleonora Bartoli, Benjamin Y Hayden, Paul Sajda, Sameer A Sheth, Nuttida Rungratsameetaweemana · 2025
- THIRDEYE: Cue-Aware Monocular Depth Estimation via Brain-Inspired Multi-Stage Fusion
Calin Teodor Ioan · 2025
- FineWeb2: One Pipeline to Scale Them All -- Adapting Pre-Training Data Processing to Every Language
Guilherme Penedo, Hynek Kydlíček, Vinko Sabolčec, Bettina Messmer, Negar Foroutan, Amir Hossein Kargaran, Colin Raffel, Martin Jaggi, Leandro Von Werra, Thomas Wolf · 2025
- TEMPEST-LoRa: Cross-Technology Covert Communication
Xieyang Sun, Yuanqing Zheng, Wei Xi, Zuhao Chen, Zhizhen Chen, Han Hao, Zhiping Jiang, Sheng Zhong · 2025
- Potemkin Understanding in Large Language Models
Marina Mancoridis, Bec Weeks, Keyon Vafa, Sendhil Mullainathan · 2025
- WAFT: Warping-Alone Field Transforms for Optical Flow
Yihan Wang, Jia Deng · 2025
- WorldVLA: Towards Autoregressive Action World Model
Jun Cen, Chaohui Yu, Hangjie Yuan, Yuming Jiang, Siteng Huang, Jiayan Guo, Xin Li, Yibing Song, Hao Luo, Fan Wang, Deli Zhao, Hao Chen · 2025
- Assessing RAG and HyDE on 1B vs. 4B-Parameter Gemma LLMs for Personal Assistants Integretion
Andrejs Sorstkins · 2025
- IndexTTS2: A Breakthrough in Emotionally Expressive and Duration-Controlled Auto-Regressive Zero-Shot Text-to-Speech
Siyi Zhou, Yiquan Zhou, Yi He, Xun Zhou, Jinchao Wang, Wei Deng, Jingchen Shu · 2025
- Experience converting a large mathematical software package written in C++ to C++20 modules
Wolfgang Bangerth · 2025
- A Demonstration of Interstellar Navigation Using New Horizons
Tod R. Lauer, David H. Munro, John R. Spencer, Marc W. Buie, Edward L. Gomez, Gregory S. Hennessy, Todd J. Henry, George H. Kaplan, John F. Kielkopf, Brian H. May, Joel W. Parker, Simon B. Porter, Eliot Halley Vrijmoet, Harold A. Weaver, Pontus Brandt, Kelsi N. Singer, S. Alan Stern, Anne. J. Verbiscer, Pedro Acosta, Nicolás Ariel Arias, Sergio Babino, Gustavo Enrique Ballan, Víctor Ángel Buso, Steven J. Conard, Daniel Das Airas, Giorgio Di Scala, César Fornari, Jossiel Fraire, Brian Nicolás Gerard, Federico González, Gerardo Goytea, Emilio Mora Guzmán, William Hanna, William C. Keel, Aldo Kleiman, Anselmo López, Jorge Gerardo Machuca, Leonardo Málaga, Claudio Martínez, Denis Martinez, Raúl Meliá, Marcelo Monópoli, Marc A. Murison, Leandro Emiliano Fernandez Pohle, Mariano Ribas, José Luis Ramón Sánchez, Sergio Scauso, Dirk Terrell, Thomas Traub, Pedro Oscar Valenti, Ángel Valenzuela, Ted von Hippel, Wen Ping Chen, Dennis Zambelis · 2025
- Hierarchical Reasoning Model
Guan Wang, Jin Li, Yuhao Sun, Xing Chen, Changling Liu, Yue Wu, Meng Lu, Sen Song, Yasin Abbasi Yadkori · 2025
- Why Neural Network Can Discover Symbolic Structures with Gradient-based Training: An Algebraic and Geometric Foundation for Neurosymbolic Reasoning
Peihao Wang, Zhangyang Wang · 2025
- Exploring the Structure of AI-Induced Language Change in Scientific English
Riley Galpin, Bryce Anderson, Tom S. Juzek · 2025
- SceneDiffuser++: City-Scale Traffic Simulation via a Generative World Model
Shuhan Tan, John Lambert, Hong Jeon, Sakshum Kulshrestha, Yijing Bai, Jing Luo, Dragomir Anguelov, Mingxing Tan, Chiyu Max Jiang · 2025
- Transformers are Graph Neural Networks
Chaitanya K. Joshi · 2025
- Embodied AI Agents: Modeling the World
Pascale Fung, Yoram Bachrach, Asli Celikyilmaz, Kamalika Chaudhuri, Delong Chen, Willy Chung, Emmanuel Dupoux, Hongyu Gong, Hervé Jégou, Alessandro Lazaric, Arjun Majumdar, Andrea Madotto, Franziska Meier, Florian Metze, Louis-Philippe Morency, Théo Moutakanni, Juan Pino, Basile Terver, Joseph Tighe, Paden Tomasello, Jitendra Malik · 2025
- Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
Carolina Carreira, Álvaro Silva, Alexandre Abreu, Alexandra Mendes · 2025
- Sequential Diagnosis with Language Models
Harsha Nori, Mayank Daswani, Christopher Kelly, Scott Lundberg, Marco Tulio Ribeiro, Marc Wilson, Xiaoxuan Liu, Viknesh Sounderajah, Jonathan Carlson, Matthew P Lungren, Bay Gross, Peter Hames, Mustafa Suleyman, Dominic King, Eric Horvitz · 2025
- The Automated LLM Speedrunning Benchmark: Reproducing NanoGPT Improvements
Bingchen Zhao, Despoina Magka, Minqi Jiang, Xian Li, Roberta Raileanu, Tatiana Shavrina, Jean-Christophe Gagnon-Audet, Kelvin Niu, Shagun Sodhani, Michael Shvartsman, Andrei Lupu, Alisia Lupidi, Edan Toledo, Karen Hambardzumyan, Martin Josifoski, Thomas Foster, Lucia Cipolina-Kun, Abhishek Charnalia, Derek Dunfield, Alexander H. Miller, Oisin Mac Aodha, Jakob Foerster, Yoram Bachrach · 2025
- SegmentAnyMuscle: A universal muscle segmentation model across different locations in MRI
Roy Colglazier, Jisoo Lee, Haoyu Dong, Hanxue Gu, Yaqian Chen, Joseph Cao, Zafer Yildiz, Zhonghao Liu, Nicholas Konz, Jichen Yang, Jikai Zhang, Yuwen Chen, Lin Li, Adrian Camarena, Maciej A. Mazurowski · 2025