AI system TongGeometry generates and solves olympiad-level geometry problems

The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from around the world, in which competitors solve complicated mathematical problems.
Game Rant

Kena: Scars of Kosmora’s PS Studios Label Could Be Both a Blessing and a Curse

Kena: Scars of Kosmora is being published under the PS Studios label, suggesting that it will be much more ambitious than its ...
IEEE

A Model-Based Systems Synthesis Approach to Set and Solve a Deployment Problem of Software Functions on a Heterogeneous Embedded Hardware Architecture

Abstract: The problem of deployment on hardware platforms, also called mapping problem, is one of the design challenges faced by system architects and engineers during conceptualization. Most of the ...
IEEE

e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving

Abstract: E-graphs have attracted growing interest in many fields, particularly in logic synthesis and formal verification. E-graph extraction is a challenging NP-hard combinatorial optimization ...