Ehsan Shareghi

This study compares LLMs integrated with various symbolic solvers for logical reasoning tasks.

Improving accuracy in transcribing scientific presentations through speech and visual integration.

A new design to improve long-term memory in language models.

Enhancing translation accuracy from natural language to first-order logic.

STEP improves language agents' planning abilities through structured memory and task management.

Innovative methods aim to enhance legal citation accuracy in Australia using advanced models.