AIBFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving Feb 6, 2025 userComment on BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving Authors: Ran Xin, Chenguang Xi, Jie Yang, Feng Chen, Hang Wu, Xia Xiao, Yifan Sun,
AIMasked Autoencoders Are Effective Tokenizers for Diffusion Models Feb 6, 2025 userComment on Masked Autoencoders Are Effective Tokenizers for Diffusion Models Authors: Hao Chen, Yujin Han, Fangyi Chen, Xiang Li, Yidong Wang, Jindong Wang, Ze Wang,
AIA Schema-Guided Reason-while-Retrieve framework for Reasoning on Scene Graphs with Large-Language-Models (LLMs) Feb 6, 2025
AIDecision Theoretic Foundations for Conformal Prediction: Optimal Uncertainty Quantification for Risk-Averse Agents Feb 5, 2025
AILearning the RoPEs: Better 2D and 3D Position Encodings with STRING Feb 5, 2025 userComment on Learning the RoPEs: Better 2D and 3D Position Encodings with STRING Authors: Connor Schenck, Isaac Reid, Mithun George Jacob, Alex Bewley, Joshua Ainslie, David Rendleman, Deepali
AIFairness in Survival Analysis: A Novel Conditional Mutual Information Augmentation Approach Feb 5, 2025 userComment on Fairness in Survival Analysis: A Novel Conditional Mutual Information Augmentation Approach Authors: Tianyang Xie, Yong Ge Abstract: Survival analysis, a vital tool for predicting the time
AIAre Language Models Up to Sequential Optimization Problems? From Evaluation to a Hegelian-Inspired Enhancement Feb 5, 2025
