Teacher-Aware Evolution of Heuristic Programs from Learned Optimization Policies

Documenti analoghi

• DaSAThco: Data-Aware SAT Heuristics Combinations Optimization via Large Language Models
  di: Chen, Minyu, et al.
  Pubblicazione: (2025)
• Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
  di: Liu, Ruibang, et al.
  Pubblicazione: (2024)
• Can Language Models Pretend Solvers? Logic Code Simulation with LLMs
  di: Chen, Minyu, et al.
  Pubblicazione: (2024)
• ARCEAK: An Automated Rule Checking Framework Enhanced with Architectural Knowledge
  di: Chen, Junyong, et al.
  Pubblicazione: (2024)
• Subgoal-Guided Policy Heuristic Search with Learned Subgoals
  di: Tuero, Jake, et al.
  Pubblicazione: (2025)