ENTITY
Kerbal Space Program
Kerbal Space Program
PulseAugur coverage of Kerbal Space Program — every cluster mentioning Kerbal Space Program across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
1 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
2 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
AI models GPT-5.6 Sol and Kimi K3 compete in live Kerbal Space Program speedrun
Two advanced AI models, GPT-5.6 Sol and Kimi K3, are competing in a live speedrun challenge to build a Kerbal Space Program spacecraft from scratch. This event is being broadcast live, showcasing the capabilities of the…
-
New CEGAR-tableaux method integrates SAT, tableaux, and resolution for modal satisfiability
Researchers have developed a new method for extending CEGAR-tableaux with SAT-shortcuts, integrating SAT, tableaux, and resolution methods for modal satisfiability. Experiments with their C++ implementation, CEGARBox++,…