DaSAThco: Data-Aware SAT Heuristics Combinations Optimization via Large Language Models
Anzeige
Ähnliche Artikel
arXiv – cs.AI
•
Neues Verfahren: Unüberwachtes Modifizieren von TSP-Daten verbessert klassische Heuristiken
arXiv – cs.AI
•
White-Op: Menschlich inspiriertes, interpretierbares Op-Amp-Design
arXiv – cs.AI
•
AMA: Adaptive Memory durch Multi-Agenten-Kollaboration
arXiv – cs.LG
•
Quantisierungsspezifische Distillation: NVFP4‑Modelle zurück zur BF16‑Genauigkeit
arXiv – cs.AI
•
PathWise: KI-gestützte Heuristikentwicklung mit selbstlernenden LLMs
arXiv – cs.AI
•
LLM-gestützte Heuristik-Entwicklung für A* verbessert Suchleistung