1/ LeanDojo – an open-source Lean playground consisting of toolkits, data, models, and benchmarks for theorem proving; also develops ReProver, a retrieval augmented LLM-based prover for theorem solving using premises from a vast math library.
AI
-
Extending LLM Context Windows to 32K with Minimal Fine-tuning
By
–
2/ Extending Context Window of LLMs – extends the context window of LLMs like LLaMA to up to 32K with minimal fine-tuning (within 1000 steps); attains good performance on several tasks while being more efficient and cost-effective.
-
Top Machine Learning Papers: LeanDojo, DragDiffusion, LLM Context
By
–
Top ML Papers of the Week (June 26 – July 2): – LeanDojo
– DragDiffusion
– Scaling MLPs
– Visual Navigation Transformer
– GPT-4 for Programming Education
– Extending Context Window of LLMs
… -
Tip #1: Learn Mathematics Alongside AI Development
By
–
It’s tip #1
I did not say start with maths.
But you should learn it along the way, it’s important. -
Following 70000 AI Accounts: Choosing Favorites Challenge
By
–
I follow 70,000 in AI and you are asking me to pick favorites?
-
Databricks Materialized Views Enable Infrastructure-Free Data Pipelines
By
–
Materialized views and streaming tables in #DatabricksSQL are now publicly available on AWS & Azure! Together, these capabilities enable infrastructure-free data pipelines that are simple to set up and deliver fresh data to the business. Learn more: https://
dbricks.co/3r6Dqfo -
Unlocking AI Potential Through Innovative and Disruptive Applications
By
–
While our current use of AI tends to focus on traditional, selective, or specialized scenarios, we must begin to explore more innovative and disruptive applications. This shift can unlock more significant potential and create sustainable business value. Microblog @antgrasso #AI
-
EU Battery Factory Subsidies Compete with US Incentives
By
–
Europe Frets U.S. Battery Factory Subsidies Will Hurt, Not Help: The European Union is trying to assemble the building blocks to produce electric cars, but subsidies are luring companies to the United States. #Technology #Tech #FutureTech https://
nytimes.com/2023/05/31/bus
iness/energy-environment/europe-battery-factory-subisidies.html?utm_source=dlvr.it&utm_medium=twitter
… -
Twitter Communications Department Responds With Poop Emoji
By
–
Perfect. “A email to Twitter’s communications department seeking comment was returned with a poop emoji.”
-
BPM Tracking App Criticized for Subscription Requirements
By
–
This is just an app where you press a button to track the beats per minute of a song. App subscriptions need to be stopped 😉