#Math #LLM #Reinforcement Learning #Evolution Strategies #Discovery

#Artificial Intelligence #Spatial Intelligence #Experience-Grounded Procedure Memory

#Artificial Intelligence #Institution #Provenance

#LLM #Artificial Intelligence #Real-Time Systems #Mechanized Theorem Prover #PROSA/ROCQ

#Machine Learning #Model Merging #Conflict-Aware Sparsification #Adaptive Weight Allocation