Skip to content
View braeden512's full-sized avatar
😎
😎
5 followers · 4 following

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Highlights

  • Pro

Block or report braeden512

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
braeden512/README.md

Braeden Treutel

💻 Associate Software Engineer @ Teladoc Health
🎓 B.S. Computer Science @ MTSU

Interests

  • Software engineering & full-stack development
  • AI/ML & reinforcement learning
  • Formal methods & AI safety

Research

Reinforcement learning with Linear Temporal Logic (LTL) constraints, including multi-agent RL, LTL-to-LDBA conversion, and product MDPs.

Featured Projects

  • GenoScript - Pharmacogenomic decision-support tool using Gemini API & CPIC API. Best Use of AI @ VandyHacks
  • RepRight - Computer vision application for analyzing exercise form using TensorFlow and PoseNet. Built @ HackMT
  • TrueBalance - Full-stack financial tracker with AI assistant, deployed on AWS.

Technologies

Languages: Python, TypeScript, JavaScript, C++, SQL, C#/.NET
Technologies: React, Node.js, Git, TensorFlow, MongoDB

Connect

📫 LinkedIn

Pinned Loading

  1. fenrear55/GenoScript fenrear55/GenoScript Public

    Vandyhacks Best Use Of Ai Winner Project

    TypeScript

  2. EliabW/RepRight EliabW/RepRight Public

    TypeScript

  3. TrueBalance TrueBalance Public

    TrueBalance: personal finance tracker that generates insights about your financial habits

    TypeScript

  4. temporal-logic-reward-shaping-comparison temporal-logic-reward-shaping-comparison Public

    Empirical comparison of infinite-horizon LTL and finite-horizon TLTL reward shaping approaches in reinforcement learning across MiniGrid environments of increasing complexity

    Python

  5. prompt-abstention-eval prompt-abstention-eval Public

    Specific Aim: To determine whether the degree of explicit abstention instruction in a RAG prompt affects calibrated abstention and hallucination rates in LLaMA 3 8B Instruct on the SQuAD2.0 dataset.

    Python

  6. LTLtoProductMDP LTLtoProductMDP Public

    Practical extension of LCRL workflows for training policies under LTL specifications.

    Python