Skip to content
View menik1126's full-sized avatar
2 followers · 16 following

Organizations

@AI4fun

Block or report menik1126

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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. TRIGO TRIGO Public

    "Open-source code for TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models" accepted by the main conference of EMNLP 2023.

    Lean 7

  2. math_ESIB math_ESIB Public

    Open Source Code for 'Expression Syntax Information Bottleneck for Math Word Problems' Presented at SIGIR 2022

    Python 1

  3. DQ-LoRe DQ-LoRe Public

    Open Source Code for 'DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning' Submitted to ICLR 2024

    Python 1

  4. math_SCL math_SCL Public

    The open-source code for Self-consistent Reasoning For Solving Math Word Problems.

    Python 1

  5. InsomniaX InsomniaX Public

    Forked from semaja2/InsomniaX

    InsomniaX - Keep your Mac awake the easy way

    Objective-C

  6. math_seq2tree math_seq2tree Public