Skip to content
View thehalleyyoung's full-sized avatar

Block or report thehalleyyoung

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. StructuredRelationalGeneration StructuredRelationalGeneration Public

    An Implementation of NEURIPS 2022 "Neurosymbolic Deep Generative Models for Sequence Data with Relational Constraints"

    Python

  2. thehalleyyoung.github.io thehalleyyoung.github.io Public

    Halley Young - Maintaining Diversity in the Age of AI

    HTML

  3. skills-github-pages skills-github-pages Public

    My clone repository

  4. TorchType TorchType Public

    Makefile

  5. cav-nlp cav-nlp Public

    Canonical Arithmetic Verification via NLP - Z3-powered LaTeX/NLP to Lean 4 translation with canonicalization and CEGIS learning

    Python 1

  6. MathToSolutions MathToSolutions Public

    Having LLM's come up with new math, and see how it improves at benchmarks