Content Feed

The latest content from across the network

Ranked Latest Top this week
[2510.15681] ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
Nlp

[2510.15681] ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings

Abstract page for arXiv paper 2510.15681: ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings

arXiv - AI · 4 min ·
[2510.16518] DIV-Nav: Open-Vocabulary Spatial Relationships for Multi-Object Navigation
Nlp

[2510.16518] DIV-Nav: Open-Vocabulary Spatial Relationships for Multi-Object Navigation

Abstract page for arXiv paper 2510.16518: DIV-Nav: Open-Vocabulary Spatial Relationships for Multi-Object Navigation

arXiv - AI · 4 min ·
[2510.13905] Schema for In-Context Learning
Llms

[2510.13905] Schema for In-Context Learning

Abstract page for arXiv paper 2510.13905: Schema for In-Context Learning

arXiv - AI · 4 min ·
[2510.13044] SceneAdapt: Scene-aware Adaptation of Human Motion Diffusion
Generative Ai

[2510.13044] SceneAdapt: Scene-aware Adaptation of Human Motion Diffusion

Abstract page for arXiv paper 2510.13044: SceneAdapt: Scene-aware Adaptation of Human Motion Diffusion

arXiv - AI · 4 min ·
[2510.10063] CLMN: Concept based Language Models via Neural Symbolic Reasoning
Llms

[2510.10063] CLMN: Concept based Language Models via Neural Symbolic Reasoning

Abstract page for arXiv paper 2510.10063: CLMN: Concept based Language Models via Neural Symbolic Reasoning

arXiv - AI · 3 min ·
[2504.19467] BRIDGE: Benchmarking Large Language Models for Understanding Real-world Clinical Practice Text
Llms

[2504.19467] BRIDGE: Benchmarking Large Language Models for Understanding Real-world Clinical Practice Text

Abstract page for arXiv paper 2504.19467: BRIDGE: Benchmarking Large Language Models for Understanding Real-world Clinical Practice Text

arXiv - AI · 4 min ·
[2510.09328] Randomized HyperSteiner: A Stochastic Delaunay Triangulation Heuristic for the Hyperbolic Steiner Minimal Tree

[2510.09328] Randomized HyperSteiner: A Stochastic Delaunay Triangulation Heuristic for the Hyperbolic Steiner Minimal Tree

Abstract page for arXiv paper 2510.09328: Randomized HyperSteiner: A Stochastic Delaunay Triangulation Heuristic for the Hyperbolic Stein...

arXiv - AI · 3 min ·
[2510.08553] Dream to Recall: Imagination-Guided Experience Retrieval for Memory-Persistent Vision-and-Language Navigation
Nlp

[2510.08553] Dream to Recall: Imagination-Guided Experience Retrieval for Memory-Persistent Vision-and-Language Navigation

Abstract page for arXiv paper 2510.08553: Dream to Recall: Imagination-Guided Experience Retrieval for Memory-Persistent Vision-and-Langu...

arXiv - AI · 4 min ·
[2510.06961] Open ASR Leaderboard: Towards Reproducible and Transparent Multilingual and Long-Form Speech Recognition Evaluation
Machine Learning

[2510.06961] Open ASR Leaderboard: Towards Reproducible and Transparent Multilingual and Long-Form Speech Recognition Evaluation

Abstract page for arXiv paper 2510.06961: Open ASR Leaderboard: Towards Reproducible and Transparent Multilingual and Long-Form Speech Re...

arXiv - AI · 4 min ·
[2510.05145] Efficient Tree-Structured Deep Research with Adaptive Resource Allocation

[2510.05145] Efficient Tree-Structured Deep Research with Adaptive Resource Allocation

Abstract page for arXiv paper 2510.05145: Efficient Tree-Structured Deep Research with Adaptive Resource Allocation

arXiv - AI · 3 min ·
[2509.25848] More Thought, Less Accuracy? On the Dual Nature of Reasoning in Vision-Language Models
Llms

[2509.25848] More Thought, Less Accuracy? On the Dual Nature of Reasoning in Vision-Language Models

Abstract page for arXiv paper 2509.25848: More Thought, Less Accuracy? On the Dual Nature of Reasoning in Vision-Language Models

arXiv - AI · 4 min ·
[2509.23362] Dual-Space Smoothness for Robust and Balanced LLM Unlearning
Llms

[2509.23362] Dual-Space Smoothness for Robust and Balanced LLM Unlearning

Abstract page for arXiv paper 2509.23362: Dual-Space Smoothness for Robust and Balanced LLM Unlearning

arXiv - AI · 4 min ·
[2509.16952] AirQA: A Comprehensive QA Dataset for AI Research with Instance-Level Evaluation
Llms

[2509.16952] AirQA: A Comprehensive QA Dataset for AI Research with Instance-Level Evaluation

Abstract page for arXiv paper 2509.16952: AirQA: A Comprehensive QA Dataset for AI Research with Instance-Level Evaluation

arXiv - AI · 4 min ·
[2509.17292] Multi-View Attention Multiple-Instance Learning Enhanced by LLM Reasoning for Cognitive Distortion Detection
Llms

[2509.17292] Multi-View Attention Multiple-Instance Learning Enhanced by LLM Reasoning for Cognitive Distortion Detection

Abstract page for arXiv paper 2509.17292: Multi-View Attention Multiple-Instance Learning Enhanced by LLM Reasoning for Cognitive Distort...

arXiv - AI · 3 min ·
[2509.13688] CraftMesh: High-Fidelity Generative Mesh Manipulation via Poisson Seamless Fusion
Machine Learning

[2509.13688] CraftMesh: High-Fidelity Generative Mesh Manipulation via Poisson Seamless Fusion

Abstract page for arXiv paper 2509.13688: CraftMesh: High-Fidelity Generative Mesh Manipulation via Poisson Seamless Fusion

arXiv - AI · 3 min ·
[2508.09428] What-Meets-Where: Unified Learning of Action and Contact Localization in Images
Machine Learning

[2508.09428] What-Meets-Where: Unified Learning of Action and Contact Localization in Images

Abstract page for arXiv paper 2508.09428: What-Meets-Where: Unified Learning of Action and Contact Localization in Images

arXiv - AI · 4 min ·
[2506.21138] Multi-Sample Prompting and Actor-Critic Prompt Optimization for Diverse Synthetic Data Generation
Llms

[2506.21138] Multi-Sample Prompting and Actor-Critic Prompt Optimization for Diverse Synthetic Data Generation

Abstract page for arXiv paper 2506.21138: Multi-Sample Prompting and Actor-Critic Prompt Optimization for Diverse Synthetic Data Generation

arXiv - AI · 4 min ·
[2505.16377] VLM-SAFE: Vision-Language Model-Guided Safety-Aware Reinforcement Learning with World Models for Autonomous Driving
Llms

[2505.16377] VLM-SAFE: Vision-Language Model-Guided Safety-Aware Reinforcement Learning with World Models for Autonomous Driving

Abstract page for arXiv paper 2505.16377: VLM-SAFE: Vision-Language Model-Guided Safety-Aware Reinforcement Learning with World Models fo...

arXiv - AI · 4 min ·
[2505.07372] Self-Bootstrapping Automated Program Repair: Using LLMs to Generate and Evaluate Synthetic Training Data for Bug Repair
Llms

[2505.07372] Self-Bootstrapping Automated Program Repair: Using LLMs to Generate and Evaluate Synthetic Training Data for Bug Repair

Abstract page for arXiv paper 2505.07372: Self-Bootstrapping Automated Program Repair: Using LLMs to Generate and Evaluate Synthetic Trai...

arXiv - AI · 4 min ·
[2505.03821] Beyond Recognition: Evaluating Visual Perspective Taking in Vision Language Models
Llms

[2505.03821] Beyond Recognition: Evaluating Visual Perspective Taking in Vision Language Models

Abstract page for arXiv paper 2505.03821: Beyond Recognition: Evaluating Visual Perspective Taking in Vision Language Models

arXiv - AI · 4 min ·