conftrace_

search strategy

14 papers

Explore in graph

Co-occurring keywords

search strategies (3) neural machine translation (2310) decoding strategies (8) beam search (309) constraint satisfaction (294) reinforcement learning (4352) process calculus (1) constraint solver (8) backtracking search (5) conformant planning (6)

Papers

DORA: A Dual-Objective Reinforcement Learning Framework for Effective and Efficient Multimodal Agentic Search ACL 2026
WebRollback: Enhancing Web Agents with Explicit Rollback Mechanisms EACL 2026
Speculative Reward Model Boosts Decision Making Ability of LLMs Cost-Effectively ACL 2025
Search Strategy Generation for Branch and Bound Using Genetic Programming AAAI 2025
On Search Strategies for Document-Level Neural Machine Translation ACL 2023
Cheater’s Bowl: Human vs. Computer Search Strategies for Open-Domain QA EMNLP 2022
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis NIPS 2022
Online Search with Maximum Clearance AAAI 2021
Computing Superior Counter-Examples for Conformant Planning AAAI 2020
Neural Architecture Search: A Survey JMLR 2019
A Reactive Strategy for High-Level Consistency During Search IJCAI 2018
Breaking the Beam Search Curse: A Study of (Re-)Scoring Methods and Stopping Criteria for Neural Machine Translation EMNLP 2018
Search Strategies as Synchronous Processes (Extended Abstract) IJCAI 2017
SGNMT – A Flexible NMT Decoding Platform for Quick Prototyping of New Models and Search Strategies EMNLP 2017