Behzadidoost R., Information Sciences 2025 Vol. 699 P. 1–17
Argumentation reflects the cognitive processes humans use to justify and persuade through natural language. Computational argumentation, the attempt to model this reasoning process, is a challenging task in the field of natural language processing. Among the main components of argument reasoning, warrants play a central role in connecting premises to claims by explaining the implicit reasoning that justifies ...
Added: March 13, 2026
Synthetic Proofs with Tool-Integrated Reasoning: Contrastive Alignment for LLM Mathematics with Lean
Obozov M., Diskin M., Beznosikov A. et al., , in: Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025).: Suzhou: Association for Computational Linguistics, 2025. Ch. 15 P. 195–202.
Modern mathematical reasoning benchmarks primarily focus on answer finding rather than proof verification, creating a gap in evaluating the proving capabilities of large language models (LLMs). We present a methodology for generating diverse mathematical proof tasks using formal tools. Our approach combines Lean-based synthetic problem generation with a Tool-Integrated Reasoning (TiR) framework for partial (sampling-based) ...
Added: February 26, 2026
Ivanova V., Frolov E., Vasilev A., , in: RecSys '25: Proceedings of the Nineteenth ACM Conference on Recommender Systems.: ACM, 2025. P. 1142–1147.
We consider the task of learning from both positive and negative feedback in a sequential recommendation scenario, as both types of feedback are often present in user interactions. Meanwhile, conventional sequential learning models usually focus on considering and predicting positive interactions, ignoring that reducing items with negative feedback in recommendations improves user satisfaction with the ...
Added: January 26, 2026
Nikolay Dagaev, Ilia Semenkov, Alexei Ossadtchi, , in: 27th European Conference on Artificial Intelligence, 19–24 October 2024, Santiago de Compostela, Spain – Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024)Vol. 392.: IOS Press, 2024. P. 4463–4466.
Added: October 24, 2024
Semenkov I., Karpov A., Savchenko A. et al., IEEE Access 2024 Vol. 12 P. 5163–5176
Visual place recognition is one of the core modern computer vision tasks concerned with identifying location based on the image taken there. Modern state-of-the-art approaches heavily rely on RGB images which are largely affected by changes in the same scene such as varying daytime, illumination, seasonal changes, and presence of dynamic objects (people, vehicles). This ...
Added: March 15, 2024