Image de couverture de livre

Assessing the Sensitivity and Alignment of FOL Closeness Metrics

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Thatikonda, Ramya Keerthy, Buntine, Wray, Shareghi, Ehsan
Format:	Preprint
Publié:	2025
Sujets:	Computation and Language
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification
par: Thatikonda, Ramya Keerthy, et autres
Publié: (2024)

Logical Reasoning with Outcome Reward Models for Test-Time Scaling
par: Thatikonda, Ramya Keerthy, et autres
Publié: (2025)

Improving Symbolic Translation of Language Models for Logical Reasoning
par: Thatikonda, Ramya Keerthy, et autres
Publié: (2026)

A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters
par: Lam, Long Hei Matthew, et autres
Publié: (2024)

Towards Uncertainty-Aware Language Agent
par: Han, Jiuzhou, et autres
Publié: (2024)

Reward Engineering for Generating Semi-structured Explanation
par: Han, Jiuzhou, et autres
Publié: (2023)

VerifiAgent: a Unified Verification Agent in Language Model Reasoning
par: Han, Jiuzhou, et autres
Publié: (2025)

Uncertainty-Based Methods for Automated Process Reward Data Construction and Output Aggregation in Mathematical Reasoning
par: Han, Jiuzhou, et autres
Publié: (2025)

PiVe: Prompting with Iterative Verification Improving Graph-based Generative Capability of LLMs
par: Han, Jiuzhou, et autres
Publié: (2023)

Unlocking Structure Measuring: Introducing PDD, an Automatic Metric for Positional Discourse Coherence
par: Liu, Yinhong, et autres
Publié: (2024)

Equipping Language Models with Tool Use Capability for Tabular Data Analysis in Finance
par: Theuma, Adrian, et autres
Publié: (2024)

A Survey on Out-of-Distribution Evaluation of Neural NLP Models
par: Li, Xinzhe, et autres
Publié: (2023)

Cube Bench: A Benchmark for Spatial Visual Reasoning in MLLMs
par: Anand, Dhruv, et autres
Publié: (2025)

One STEP at a time: Language Agents are Stepwise Planners
par: Nguyen, Minh, et autres
Publié: (2024)

LLM Reading Tea Leaves: Automatically Evaluating Topic Models with Large Language Models
par: Yang, Xiaohao, et autres
Publié: (2024)

ReasonGraph: Visualisation of Reasoning Paths
par: Li, Zongqian, et autres
Publié: (2025)

Jigsaw Puzzles: Splitting Harmful Questions to Jailbreak Large Language Models
par: Yang, Hao, et autres
Publié: (2024)

The Compressor-Retriever Architecture for Language Model OS
par: Yang, Yuan, et autres
Publié: (2024)

Evaluating LLM-based Approaches to Legal Citation Prediction: Domain-specific Pre-training, Fine-tuning, or RAG? A Benchmark and an Australian Law Case Study
par: Han, Jiuzhou, et autres
Publié: (2024)

Improving Vietnamese-English Medical Machine Translation
par: Vo, Nhu, et autres
Publié: (2024)

Discrete Diffusion Language Model for Efficient Text Summarization
par: Dat, Do Huu, et autres
Publié: (2024)

Towards Inference-time Scaling for Continuous Space Reasoning
par: Wang, Minghan, et autres
Publié: (2025)

Multilingual LLM Prompting Strategies for Medical English-Vietnamese Machine Translation
par: Vo, Nhu, et autres
Publié: (2025)

All Roads Lead to Rome: Graph-Based Confidence Estimation for Large Language Model Reasoning
par: Zhang, Caiqi, et autres
Publié: (2025)

Can LLMs Reason in the Wild with Programs?
par: Yang, Yuan, et autres
Publié: (2024)

TRIDENT: Benchmarking LLM Safety in Finance, Medicine, and Law
par: Hui, Zheng, et autres
Publié: (2025)

MoTime: A Dataset Suite for Multimodal Time Series Forecasting
par: Zhou, Xin, et autres
Publié: (2025)

Towards Probing Speech-Specific Risks in Large Multimodal Models: A Taxonomy, Benchmark, and Insights
par: Yang, Hao, et autres
Publié: (2024)

A Pilot Benchmark for NL-to-FOL Translation in Planetary Exploration
par: Moore, Hayden, et autres
Publié: (2026)

Discrete Minds in a Continuous World: Do Language Models Know Time Passes?
par: Wang, Minghan, et autres
Publié: (2025)

Exploring the Potential of Multimodal LLM with Knowledge-Intensive Multimodal ASR
par: Wang, Minghan, et autres
Publié: (2024)

Conversational SimulMT: Efficient Simultaneous Translation with Large Language Models
par: Wang, Minghan, et autres
Publié: (2024)

Reshaping Representation Space to Balance the Safety and Over-rejection in Large Audio Language Models
par: Yang, Hao, et autres
Publié: (2025)

Audio Is the Achilles' Heel: Red Teaming Audio Large Multimodal Models
par: Yang, Hao, et autres
Publié: (2024)

MTP: A Dataset for Multi-Modal Turning Points in Casual Conversations
par: Ho, Gia-Bao Dinh, et autres
Publié: (2024)

FOL2NS: Generating Natural Sentences from First-Order Logic
par: Jia, Mei
Publié: (2026)

Privacy-R1: Privacy-Aware Multi-LLM Agent Collaboration via Reinforcement Learning
par: Hui, Zheng, et autres
Publié: (2025)

GTS: Inference-Time Scaling of Latent Reasoning with a Learnable Gaussian Thought Sampler
par: Wang, Minghan, et autres
Publié: (2026)

SpeechDialogueFactory: Generating High-Quality Speech Dialogue Data to Accelerate Your Speech-LLM Development
par: Wang, Minghan, et autres
Publié: (2025)

Simultaneous Machine Translation with Large Language Models
par: Wang, Minghan, et autres
Publié: (2023)