Imagen de Portada

Modular Multimodal Machine Learning for Extraction of Theorems and Proofs in Long Scientific Documents (Extended Version)

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Mishra, Shrey, Gauquier, Antoine, Senellart, Pierre
Formato:	Preprint
Publicado:	2023
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Contextual Confidence and Generative AI
por: Jain, Shrey, et al.
Publicado: (2023)

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

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

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

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

Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version)
por: Troquard, Nicolas, et al.
Publicado: (2023)

Synchronizing Process Model and Event Abstraction for Grounded Process Intelligence (Extended Version)
por: Benzin, Janik-Vasily, et al.
Publicado: (2025)

Planning as Goal Recognition: Deriving Heuristics from Intention Models -- Extended Version
por: Rosa, Giacomo, et al.
Publicado: (2026)