conftrace_

Rei Higuchi

3 papers · 2025–2025 · 3 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓

🧭 Keyword Pioneer 🌍 Conference Polyglot (3) 🐝 Cross-Pollinator (5) 🌉 Interdisciplinary Bridge

Conferences

ICLR (1) ICML (1) IJCAI (1)

Top co-authors

Daniel Le Berre (1) Taiji Suzuki (1) Pierre-Louis Poirion (1) Takehide Soh (1) Naoyuki Tamura (1) Mutsunori Banbara (1) Akiko Takeda (1) Morgan Magnin (1)

Keywords

model checking (1) sat solver (1) boolean network (1) singleton attractor (1) biological regulatory network (1) attractor computation (1) fixed point enumeration (1)

Papers

Improving Convergence Guarantees of Random Subspace Second-order Algorithm for Nonconvex Optimization ICLR 2025 Direct Density Ratio Optimization: A Statistically Consistent Approach to Aligning Large Language Models ICML 2025 A SAT-based Method for Counting All Singleton Attractors in Boolean Networks IJCAI 2025