Skip to content
View EricSpencer00's full-sized avatar
🛠️
🛠️
25 followers · 75 following

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: YOLO

Highlights

Organizations

@loyolaaiclub @LUC-AI4FM @from-america

Block or report EricSpencer00

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
EricSpencer00/README.md

Currently:

MTS @ HorneSci

Stemacle, an exploration into splitting stems

StockGenie, an NLP-backed stock suggestor for casual investors

Resilient, a runtime self-healing programming language

some one off projects like T-Tetracube 6x6 Solver when I have extra Claude Credits

and a ton of others that exist at ericspencer.us/projects/

Some research in TLA+ and LLMs:

ai4fm.cs.luc.edu, Loyola's lab for Formal Method Languages + LLMs

ChatTLA, a WIP attempt at high model checking performance on finetuning gpt-oss-20b

Checkout my personal website: ericspencer.us, I worked hard on it

Check me out on LinkedIn

AI agent usage

My GitCity Skyline

Latest GitHub Commit

visitors

Pinned Loading

  1. Resilient Resilient Public

    Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

    Rust 4 1

  2. LUC-AI4FM/TLA-Prove LUC-AI4FM/TLA-Prove Public

    Fine-tuning open-source LLMs to generate verifiable TLA+ formal specifications

    Python 2