Tristan Cazenave

Examining ways to enhance Holophrasm's performance in mathematical theorem proving.

EfficientFormer improves computer Go performance using transformer architecture.

EPIMC offers a fresh method to improve decision-making in games with hidden information.

This research showcases how AI improves job scheduling efficiency.

This research examines how search algorithms can improve the testing of graph conjectures.