List your company

Active Reasoning on AR-Bench-SP

54Non-strict Semantic EquivalenceBALAR
10.3221.663344.34May 6, 2026

Evaluation results

MethodLinks
BALARLLM Backbone=Qwen2.5-32B-Instruct, Max ask rounds=252026.0554
ToTLLM Backbone=Qwen2.5-32B-Instruct, Max ask rounds=252026.0539
Few-ShotLLM Backbone=Qwen2.5-32B-Instruct, Max ask rounds=252026.0537
Proactive CoTLLM Backbone=Qwen2.5-32B-Instruct, Max ask rounds=252026.0536
ToTLLM Backbone=Llama-3.1-8B-Instruct, Max ask rounds=252026.0531
UoTLLM Backbone=Llama-3.1-8B-Instruct, Max ask rounds=252026.0529
BALARLLM Backbone=Llama-3.1-8B-Instruct, Max ask rounds=252026.0526
Proactive CoTLLM Backbone=Llama-3.1-8B-Instruct, Max ask rounds=252026.0521
Few-ShotLLM Backbone=Llama-3.1-8B-Instruct, Max ask rounds=252026.0520
UoTLLM Backbone=Qwen2.5-32B-Instruct, Max ask rounds=252026.0512