Abiola Babatunde

According to our database, Abiola Babatunde authored at least 2 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons.

Abiola Babatunde, Matthew England, AmirHosein Sadeghimanesh

CoRR, January, 2026

2025

Predicting Emotion Intensity in Text Using Transformer-Based Models.

Temitope Olasunkanmi Oladepo, Oluwatobi Joseph Abiola, Tolulope O. Abiola, Abdullah, Usman Muhammad, Abiola Babatunde

Proceedings of the 19th International Workshop on Semantic Evaluation, 2025