APA (7th ed.) Citation

Buali, M., & Hoehndorf, R. (2024). Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent.

Chicago Style (17th ed.) Citation

Buali, Mahdi, and Robert Hoehndorf. Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent. 2024.

MLA (9th ed.) Citation

Buali, Mahdi, and Robert Hoehndorf. Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent. 2024.

Warning: These citations may not always be 100% accurate.