Leanstral 1.5 119B A6B: The Free AI That Proves Your Code Is Correct

Leanstral 1.5 119B A6B: The Free AI That Proves Your Code Is Correct

More

Descriptions:

This video tests Leanstral 1.5 which is an open-source code agent model designed for Lean 4.

🔥 Buy Me a Coffee to support the channel: https://ko-fi.com/fahdmirza

#leanstral

PLEASE FOLLOW ME:
â–¶ LinkedIn: https://www.linkedin.com/in/fahdmirza/
â–¶ YouTube: https://www.youtube.com/@fahdmirza
â–¶ Blog: https://www.fahdmirza.com

Resources:

â–¶ https://huggingface.co/mistralai/Leanstral-1.5-119B-A6B

All rights reserved © Fahd Mirza

1 Item

Channels

1 Item

Companies