Cover Image

Scalable High-Recall Constraint-Satisfaction-Based Information Retrieval for Clinical Trials Matching

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhou, Cyrus, Jin, Yufei, Xu, Yilin, Wang, Yu-Chiang, Chao, Chieh-Ju, Lam, Monica S.
Format:	Preprint
Published:	2026
Subjects:	Computation and Language Artificial Intelligence Databases Multiagent Systems Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ArgMed-Agents: Explainable Clinical Decision Reasoning with LLM Disscusion via Argumentation Schemes
by: Hong, Shengxin, et al.
Published: (2024)

NoSQL Graph Databases: an overview
by: Santos, Veronica, et al.
Published: (2024)

Adaptive Collaboration of Arena-Based Argumentative LLMs for Explainable and Contestable Legal Reasoning
by: Cao, Hoang-Loc, et al.
Published: (2026)

Learning Reward Machines in Cooperative Multi-Agent Tasks
by: Ardon, Leo, et al.
Published: (2023)

Robust Clustering using Hyperdimensional Computing
by: Ge, Lulu, et al.
Published: (2023)

Learning from Uncertain Data: From Possible Worlds to Possible Models
by: Zhu, Jiongli, et al.
Published: (2024)

Learning Interpretable Network Dynamics via Universal Neural Symbolic Regression
by: Hu, Jiao, et al.
Published: (2024)

Playstyle and Artificial Intelligence: An Initial Blueprint Through the Lens of Video Games
by: Lin, Chiu-Chou
Published: (2025)

Evaluating Task-Oriented Dialogue Consistency through Constraint Satisfaction
by: Labruna, Tiziano, et al.
Published: (2024)

Amortized Equation Discovery in Hybrid Dynamical Systems
by: Liu, Yongtuo, et al.
Published: (2024)

A Category Theoretic Approach to Approximate Game Theory
by: Ghani, Neil
Published: (2025)

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
by: Shahid, Mahnoor, et al.
Published: (2026)

APEX$^2$: Adaptive and Extreme Summarization for Personalized Knowledge Graphs
by: Li, Zihao, et al.
Published: (2024)

Ensuring trustworthy and ethical behaviour in intelligent logical agents
by: Costantini, Stefania
Published: (2024)

Views: a hardware-friendly graph database model for storing semantic information
by: Yang, Yanjun, et al.
Published: (2025)

Decomposition and Preprocessing of Ternary Constraint Networks
by: Talbot, Pierre
Published: (2025)

Parallel Two-Stage Approach for Joint Symbolic Approximation of Time Series
by: Chen, Xinye
Published: (2023)

Un cadre paraconsistant pour l'{é}valuation de similarit{é} dans les bases de connaissances
by: Medina, José-Luis Vilchis
Published: (2025)

Complexity Classification of Complex-Weighted Counting Acyclic Constraint Satisfaction Problems
by: Yamakami, Tomoyuki
Published: (2024)

The Recovery of $λ$ from a Hilbert Polynomial
by: Donato, Joseph, et al.
Published: (2024)

Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
by: Yufei, Kuang, et al.
Published: (2025)

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
by: Xu, Weidi, et al.
Published: (2023)

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
by: Ludäscher, Bertram, et al.
Published: (2025)

From Facts to Insights: A Persona-Driven Dual Memory Framework and Dataset for Role-Playing Agents
by: Zhang, Rongsheng, et al.
Published: (2026)

Two Constraint Compilation Methods for Lifted Planning
by: Mantenoglou, Periklis, et al.
Published: (2025)

Shape Constraints in Symbolic Regression using Penalized Least Squares
by: Martinek, Viktor, et al.
Published: (2024)

Deep Neural Network for Constraint Acquisition through Tailored Loss Function
by: Vyhmeister, Eduardo, et al.
Published: (2024)

HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction
by: Jayasena, Aruna, et al.
Published: (2023)

Constraint-Guided Symbolic Regression for Data-Efficient Kinetic Model Discovery
by: Servia, Miguel Ángel de Carvalho, et al.
Published: (2025)

The B2Scala Tool: Integrating Bach in Scala with Security in Mind
by: Ouardi, Doha, et al.
Published: (2024)

Faster multivariate integration in D-modules
by: Brochet, Hadrien, et al.
Published: (2025)

How to generate all possible rational Wilf-Zeilberger forms?
by: Chen, Shaoshi, et al.
Published: (2024)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
by: Böhmer, Christian G., et al.
Published: (2025)

Consequences of the Moosbauer-Poole Algorithms
by: Kauers, Manuel, et al.
Published: (2025)

Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
by: Finkelstein, Edward
Published: (2025)

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
by: Stübbe, Jonas, et al.
Published: (2025)

Solving parametric polynomial systems using Generic Rational Univariate Representation
by: Corniquel, Florent
Published: (2026)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
by: Wang, Zhonghan
Published: (2024)

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
by: Chen, Shaoshi, et al.
Published: (2025)

More is Less: Adding Polynomials for Faster Explanations in NLSAT
by: Promies, Valentin, et al.
Published: (2025)