arXiv (All)
open access
Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling
Accurate translation from Natural Language to First-Order Logic (NL-to-FOL) underpins neurosymbolic AI systems and Natural Language Inference (NLI), making the quality of NL-to-FOL benchmarks essential---yet these datasets have never been rigorously audited. Our first contribution is to present a sy
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- SPICE: Simple Polysemantic Feature Interpretation via Clustering-based Explanation#1071005
- NiCLIP: Neuroimaging contrastive language-image pretraining model for predicting text from brain activation images#298206
- Token-Level Density-Based Uncertainty Quantification Methods for Eliciting Truthfulness of Large Language Models#177037
- Linguistic Features for Interpretable Textual Entailment#1051328
- QuanReview: Offline, Auditable Reconciliation of Human and LLM Span Annotations#1130337
Record · ID 926062
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive