conftrace_

Radu Marinescu

31 papers · 2015–2026 · 6 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓
+11 more ↓ 🌍 Conference Polyglot (6) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🏃 Academic Marathon (10)
🐣 Hot Topic Early Bird 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (6) 🧬 Topic Evolution 🔬 Deep Specialist (12) 🏆 Keyword Champion (8) 🗃️ Keyword Collector (114) 🚀 Conference Pioneer 💎 Century Club (29) 🔥 Unstoppable (9) Prolific Year (5)

Conferences

AAAI (8) NIPS (8) IJCAI (7) UAI (4) ACL (2) EMNLP (2)

Papers

FactCorrector: A Graph-Inspired Approach to Long-Form Factuality Correction of Large Language Models ACL 2026 AutoTuneX: Interactive Automated Fine-Tuning for Large Language Models AAAI 2026 FactReasoner: A Probabilistic Approach to Long-Form Factuality Assessment for Large Language Models EMNLP 2025 SIMBA UQ: Similarity-Based Aggregation for Uncertainty Quantification in Large Language Models EMNLP 2025 The Consistency Hypothesis in Uncertainty Quantification for Large Language Models UAI 2025 WikiContradict: A Benchmark for Evaluating LLMs on Real-World Knowledge Conflicts from Wikipedia NIPS 2024 Abductive Reasoning in Logical Credal Networks NIPS 2024 Approximate Inference in Logical Credal Networks IJCAI 2023 Credal Marginal MAP NIPS 2023 Boosting AND/OR-based computational protein design: dynamic heuristics and generalizable UFO UAI 2023 An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations IJCAI 2023 Finding Sub-task Structure with Natural Language Instruction ACL 2022 Logical Credal Networks NIPS 2022 Hedging as Reward Augmentation in Probabilistic Graphical Models NIPS 2022 Bandit Limited Discrepancy Search and Application to Machine Learning Pipeline Optimization AAAI 2022 AND/OR branch-and-bound for computational protein design optimizing K* UAI 2022 Learning the Parameters of Bayesian Networks from Uncertain Data AAAI 2021 A New Bounding Scheme for Influence Diagrams AAAI 2021 Submodel Decomposition Bounds for Influence Diagrams AAAI 2021 Searching for Machine Learning Pipelines Using a Context-Free Grammar AAAI 2021 Parallel AND/OR Search for Marginal MAP AAAI 2020 Depth-First Memory-Limited AND/OR Search and Unsolvability in Cyclic Search Spaces IJCAI 2019 Counting the Optimal Solutions in Graphical Models NIPS 2019 Anytime Recursive Best-First Search for Bounding Marginal MAP AAAI 2019 A Weighted Mini-Bucket Bound for Solving Influence Diagram UAI 2019 Stochastic Anytime Search for Bounding Marginal MAP IJCAI 2018 From Stochastic Planning to Marginal MAP NIPS 2018 Efficient Optimal Search under Expensive Edge Cost Computation IJCAI 2017 Parallel Recursive Best-First AND/OR Search for Exact MAP Inference in Graphical Models NIPS 2015 Pushing Forward Marginal MAP with Best-First Search IJCAI 2015 Computing Possibly Optimal Solutions for Multi-Objective Constraint Optimisation with Tradeoffs IJCAI 2015