Imagen de Portada

BLAST: Benchmarking LLMs with ASP-based Structured Testing

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Santana, Manuel Alejandro Borroto, Coppolillo, Erica, Calimeri, Francesco, Manco, Giuseppe, Perri, Simona, Ricca, Francesco
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science Artificial Intelligence Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

LLASP: Fine-tuning Large Language Models for Answer Set Programming
por: Coppolillo, Erica, et al.
Publicado: (2024)

2-ASP(Q) programs with weak constraints: Complexity and efficient implementation
por: Cuteri, Andrea, et al.
Publicado: (2026)

Question Answering with LLMs and Learning from Answer Sets
por: Borroto, Manuel, et al.
Publicado: (2025)

Direct Encoding of Declare Constraints in ASP
por: Chiariello, Francesco, et al.
Publicado: (2024)

ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
por: Calimeri, Francesco, et al.
Publicado: (2024)

Towards Automatic Composition of ASP Programs from Natural Language Specifications
por: Borroto, Manuel, et al.
Publicado: (2024)

Unmasking Conversational Bias in AI Multiagent Systems
por: Coppolillo, Erica, et al.
Publicado: (2025)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
por: Ielo, Antonio, et al.
Publicado: (2024)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
por: Zeng, Yankai, et al.
Publicado: (2024)

ASP-Bench: From Natural Language to Logic Programs
por: Szeider, Stefan
Publicado: (2026)

Relevance meets Diversity: A User-Centric Framework for Knowledge Exploration through Recommendations
por: Coppolillo, Erica, et al.
Publicado: (2024)

Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
por: Amendola, Giovanni, et al.
Publicado: (2024)

Improving ASP-based ORS Schedules through Machine Learning Predictions
por: Bruno, Pierangela, et al.
Publicado: (2025)

Engagement-Driven Content Generation with Large Language Models
por: Coppolillo, Erica, et al.
Publicado: (2024)

Looking Beyond Accuracy: A Holistic Benchmark of ECG Foundation Models
por: Filice, Francesca, et al.
Publicado: (2026)

Inferring multiple helper Dafny assertions with LLMs
por: Silva, Álvaro, et al.
Publicado: (2025)

SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
por: Tremante, Andrew, et al.
Publicado: (2026)

s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs
por: Rao, Balaji, et al.
Publicado: (2026)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
por: Yubeaton, Patrick, et al.
Publicado: (2025)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
por: Nerode, Anil, et al.
Publicado: (2024)

Pearce's Characterisation in an Epistemic Domain
por: Su, Ezgi Iraz
Publicado: (2025)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
por: Ileri, Atalay Mert, et al.
Publicado: (2024)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
por: Hansen, Zachary
Publicado: (2025)

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
por: Bollig, Benedikt
Publicado: (2026)

Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
por: Kasibatla, Saketh Ram, et al.
Publicado: (2024)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
por: King, Daragh, et al.
Publicado: (2025)

A Reversible Semantics for Janus
por: Lanese, Ivan, et al.
Publicado: (2026)

A Certified Proof Checker for Deep Neural Network Verification in Imandra
por: Desmartin, Remi, et al.
Publicado: (2024)

Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems
por: Mendez, Julian Alfredo
Publicado: (2023)

Using ASP(Q) to Handle Inconsistent Prioritized Data
por: Bienvenu, Meghyn, et al.
Publicado: (2026)

An ASP-based Solution to the Medical Appointment Scheduling Problem
por: Vozna, Alina, et al.
Publicado: (2026)

An ASP-Based Framework for MUSes
por: Kabir, Mohimenul, et al.
Publicado: (2025)

VERINA: Benchmarking Verifiable Code Generation
por: Ye, Zhe, et al.
Publicado: (2025)

Checkpoint-based rollback recovery in session programming
por: Mezzina, Claudio Antares, et al.
Publicado: (2023)

Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion
por: Zhang, Dylan, et al.
Publicado: (2024)

CLEVER: A Curated Benchmark for Formally Verified Code Generation
por: Thakur, Amitayush, et al.
Publicado: (2025)

Towards Mass Spectrum Analysis with ASP
por: Küchenmeister, Nils, et al.
Publicado: (2025)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
por: Rahman, A M Muntasir, et al.
Publicado: (2024)

SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic
por: Hansen, Zachary, et al.
Publicado: (2025)

Diminution: On Reducing the Size of Grounding ASP Programs
por: Yang, HuanYu, et al.
Publicado: (2025)