:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Mishra, Shrey, Gauquier, Antoine, Senellart, Pierre
Format:	Preprint
Published:	2023
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2307.09047
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Efficient Crawling for Scalable Web Data Acquisition (Extended Version)
by: Gauquier, Antoine, et al.
Published: (2026)

Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs)
by: Gorczyca, Piotr, et al.
Published: (2025)

Benchmarking Table Extraction from Heterogeneous Scientific Extraction Documents
by: Soric, Marijan, et al.
Published: (2025)

Expected Shapley-Like Scores of Boolean Functions: Complexity and Applications to Probabilistic Databases
by: Karmakar, Pratik, et al.
Published: (2024)

REFACTOR: Learning to Extract Theorems from Proofs
by: Zhou, Jin Peng, et al.
Published: (2024)

Adaptation of Biomedical and Clinical Pretrained Models to French Long Documents: A Comparative Study
by: Bazoge, Adrien, et al.
Published: (2024)

A Ratio-Based Shapley Value for Collaborative Machine Learning - Extended Version
by: Filter, Björn, et al.
Published: (2025)

Designing Multi-Step Action Models for Enterprise AI Adoption
by: Mishra, Shreyash, et al.
Published: (2024)

Safe Learning of PDDL Domains with Conditional Effects -- Extended Version
by: Mordoch, Argaman, et al.
Published: (2024)

The Explanation Game -- Rekindled (Extended Version)
by: Marques-Silva, Joao, et al.
Published: (2025)

Query-driven Document-level Scientific Evidence Extraction from Biomedical Studies
by: Pronesti, Massimiliano, et al.
Published: (2025)

LongKey: Keyphrase Extraction for Long Documents
by: Alves, Jeovane Honorio, et al.
Published: (2024)

CURIOUS: Intrinsically Motivated Modular Multi-Goal Reinforcement Learning
by: Colas, Cédric, et al.
Published: (2018)

Learning Modular Exponentiation with Transformers
by: Africa, David Demitri, et al.
Published: (2025)

MoLoRA: Composable Specialization via Per-Token Adapter Routing
by: Shah, Shrey, et al.
Published: (2026)

Mitigating the reconstruction-detection trade-off in VAE-based unsupervised anomaly detection
by: Senellart, Agathe, et al.
Published: (2026)

ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis
by: Liu, Haoxiong, et al.
Published: (2025)

Monitoring Data-aware Temporal Properties (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2026)

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
by: Kasaura, Kazumi, et al.
Published: (2025)

Proof Recommendation System for the HOL4 Theorem Prover
by: Dekhil, Nour, et al.
Published: (2024)

Contextual Confidence and Generative AI
by: Jain, Shrey, et al.
Published: (2023)

Chemical Reaction Extraction from Long Patent Documents
by: Jadhav, Aishwarya, et al.
Published: (2024)

SciMDR: Advancing Scientific Multimodal Document Reasoning
by: Chen, Ziyu, et al.
Published: (2026)

A Method for Handling Negative Similarities in Explainable Graph Spectral Clustering of Text Documents -- Extended Version
by: Kłopotek, Mieczysław A., et al.
Published: (2025)

Proof of Time: A Benchmark for Evaluating Scientific Idea Judgments
by: Ye, Bingyang, et al.
Published: (2026)

Reasoning about Actual Causes in Nondeterministic Domains -- Extended Version
by: Khan, Shakil M., et al.
Published: (2024)

A Formalism for Optimal Search with Dynamic Heuristics (Extended Version)
by: Christen, Remo, et al.
Published: (2025)

Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version
by: Micheli, Andrea, et al.
Published: (2026)

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
by: Blümel, Lydia, et al.
Published: (2024)

The Synthetic Web: Adversarially-Curated Mini-Internets for Diagnosing Epistemic Weaknesses of Language Agents
by: Shah, Shrey, et al.
Published: (2026)

BioBLP: A Modular Framework for Learning on Multimodal Biomedical Knowledge Graphs
by: Daza, Daniel, et al.
Published: (2023)

A Modular End-to-End Multimodal Learning Method for Structured and Unstructured Data
by: Alessandro, Marco D, et al.
Published: (2024)

Planning with OWL-DL Ontologies (Extended Version)
by: John, Tobias, et al.
Published: (2024)

Tenability and Weak Semantics: Modeling Non-uniform Defense -- Extended Version
by: Andrews, Uri, et al.
Published: (2026)

Satisficing and Optimal Generalised Planning via Goal Regression (Extended Version)
by: Chen, Dillon Z., et al.
Published: (2025)

PDDL Axioms Are Equivalent to Least Fixed Point Logic (Extended Version)
by: Grundke, Claudia, et al.
Published: (2025)

MM-Path: Multi-modal, Multi-granularity Path Representation Learning -- Extended Version
by: Xu, Ronghui, et al.
Published: (2024)

RLMEval: Evaluating Research-Level Neural Theorem Proving
by: Poiroux, Auguste, et al.
Published: (2025)

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
by: Thakur, Amitayush, et al.
Published: (2025)

Benchmarking Agentic Systems in Automated Scientific Information Extraction with ChemX
by: Vepreva, Anastasia, et al.
Published: (2025)