Skip to content
conftrace_

Radu Marinescu

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

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Jump to papers ↓
+11 more ↓ πŸ—ΊοΈ Taxonomy Completionist (46) πŸƒ Academic Marathon Β· Half 🌍 Conference Polyglot Β· Silver πŸŒ‰ Interdisciplinary Bridge Β· Silver 🐣 Hot Topic Early Bird
πŸ† Keyword Champion (8) 🧭 Keyword Pioneer 🧬 Topic Evolution πŸ”¬ Deep Specialist (12) πŸ’Ž Century Club Β· Bronze πŸ”₯ Unstoppable Β· Silver πŸš€ Conference Pioneer ⚑ Prolific Year Β· Productive 🌈 Renaissance Researcher (6) πŸ—ƒοΈ Keyword Collector (122) πŸ“ˆ Trend Setter

Papers

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