This project is based on the UC Berkeley CS188 Pacman AI framework, implementing and testing algorithms and multi-agent search strategies for Pacman.

solarPowerEstimate - powerforever - a reasonable configuration of energy storage systems is essential

A simple evaluation function written in Lean 4

SymbolicEqual Evaluation Function

An evaluation function to prompt GPT models

Second generation eval function for general comparison of expressions

A Lambda Feedback eval function to compare Boolean expressions.

WolframAlphaEqual Grading Function

Experimental evaluation function that provides some tools for dimensional analysis

ArrayEqual Evaluation Function

A simple evaluation function written in Wolfram Language, which checks if a numberical value is within tolerance.

An evaluation function written in Wolfram, which support expression structure validation

Symbolic Equal Evaluation function for matrices and vectors

IsExactEqual Evaluation Function

For testing only (don't use please)