Stefan Abi-Karam
@stefanabikaram.com
Graduate Student (@SharcLab) + Research Faculty at @GeorgiaTech 🐝
Working on digital hardware design + AI
https://stefanabikaram.com/
Working on digital hardware design + AI
https://stefanabikaram.com/
Reposted by Stefan Abi-Karam
I will work on exploring applications of Aristotle to the formal verification of hardware. This job is a perfect intersection of hardware design and verification, functional programming, formal methods and machine learning, bringing together several threads of my career so far.
September 29, 2025 at 7:05 PM
I will work on exploring applications of Aristotle to the formal verification of hardware. This job is a perfect intersection of hardware design and verification, functional programming, formal methods and machine learning, bringing together several threads of my career so far.
Reposted by Stefan Abi-Karam
Paper: Benchmarking Optimizers for Large Language Model Pretraining
( arxiv.org/abs/2509.01440 )
Repo: github.com/epfml/llm-op...
( arxiv.org/abs/2509.01440 )
Repo: github.com/epfml/llm-op...
Benchmarking Optimizers for Large Language Model Pretraining
The recent development of Large Language Models (LLMs) has been accompanied by an effervescence of novel ideas and methods to better optimize the loss of deep learning models. Claims from those method...
arxiv.org
September 4, 2025 at 12:03 AM
Paper: Benchmarking Optimizers for Large Language Model Pretraining
( arxiv.org/abs/2509.01440 )
Repo: github.com/epfml/llm-op...
( arxiv.org/abs/2509.01440 )
Repo: github.com/epfml/llm-op...
Reposted by Stefan Abi-Karam
Then and now, Prof. Cong and students trailblaze new design automation research for mainstream high level synthesis tools and myriad applications.
Chuck Thacker made beautiful computers with FPGAs, so this award seems particularly apt.
web.mit.edu/6.173/www/cu...
www.cl.cam.ac.uk/~swm11/examp...
Chuck Thacker made beautiful computers with FPGAs, so this award seems particularly apt.
web.mit.edu/6.173/www/cu...
www.cl.cam.ac.uk/~swm11/examp...
April 9, 2025 at 3:52 PM
Then and now, Prof. Cong and students trailblaze new design automation research for mainstream high level synthesis tools and myriad applications.
Chuck Thacker made beautiful computers with FPGAs, so this award seems particularly apt.
web.mit.edu/6.173/www/cu...
www.cl.cam.ac.uk/~swm11/examp...
Chuck Thacker made beautiful computers with FPGAs, so this award seems particularly apt.
web.mit.edu/6.173/www/cu...
www.cl.cam.ac.uk/~swm11/examp...