Skip to content
View adaminsky's full-sized avatar

Highlights

  • Pro

Organizations

@Penn-Agentic-Lab

Block or report adaminsky

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

Pinned Loading

  1. BrachioLab/Meerkat BrachioLab/Meerkat Public

    An agent for auditing repositories of traces for violations of safety properties. Automatically finds cheating (task-level gaming and harness-level cheating) on top benchmarks.

    Python 6

  2. pips pips Public

    [NeurIPS 2025] PIPS: Per-Instance Program Synthesis

    Python 4

  3. compositional_concepts compositional_concepts Public

    Code for the CCE algorithm proposed in "Towards Compositionality in Concept Learning" at ICML 2024.

    Python 16 1

  4. nesy_prompting nesy_prompting Public

    Code for constructing and evaluating neuro-symbolic prompting methods. Used for experiments in "The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models."

    Python 3 1

  5. BAP BAP Public

    Java 3 2

  6. BrachioLab/SuperActivators BrachioLab/SuperActivators Public

    Jupyter Notebook 1