Add Aletheia MBPP / MBPP+ official evaluate scores

[shaneraphel]

Summary

• Add Aletheia to results.json.
• link is the public page: https://github.com/shaneraphel/aletheia
• Completions for an independent evalplus.evaluate --dataset mbpp run: https://gist.github.com/shaneraphel/b0fbe4cde5b83185da043c9e0ac00fd0
• open-data is NONE.

Test plan

• pip install evalplus==0.3.1 && evalplus.evaluate --dataset mbpp --samples samples.jsonl
• Confirm results.json still parses and the leaderboard page renders

[shaneraphel]

Official evalplus.evaluate 0.3.1 reprint on the same MBPP+ v0.2.0 pin, parallel=2: MBPP 100.0 / MBPP+ 86.8 (378/378 base, 328/378 plus). Entry size remains 0, open-data NONE, prompted true.

[shaneraphel]

Official evalplus.evaluate 0.3.1 reprint on the same MBPP+ v0.2.0 pin, parallel=2: MBPP 100.0 / MBPP+ 87.0 (378/378 base, 329/378 plus). Entry size remains 0, open-data NONE, prompted true.

[shaneraphel]

Public page: https://github.com/shaneraphel/aletheia

Completions (samples.jsonl, 378 rows): https://gist.github.com/shaneraphel/b0fbe4cde5b83185da043c9e0ac00fd0

SHA-256: ba41a115da629ac4bf55213d4e29e4545994e9a014bbee50fc1f4c384dd9f3b1