Skip to content
View Arnie-He's full-sized avatar
🎯
Focusing
🎯
Focusing
6 followers · 5 following
  • Providence, RI
  • 07:18 (UTC -12:00)
  • LinkedIn in/arniehe

Achievements

Achievement: Quickdraw
BetaSend feedback

Achievements

Achievement: Quickdraw
BetaSend feedback
Block or Report

Block or report Arnie-He

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

Hi, this is Naicheng He(Arnie)

I am an undergraduate student and a member of the E-GLAMOR group at Brown University advised by Professor Amy Greenwald and Chen Sun. My interest lies in the intersection of games, learning, and optimization.

Projects I've done:
1. Pipelining natural language to multi-robot task allocation. Commanding a team of robots to do a sequence of tasks is hard, so we utilized a middle layer of logic to investigate both direct commanding and human-robot collaboration in this project. For example, a command could look like "do A and do B but not before you do C. I will do D first." We have significantly improved success rate by fine-tuning an LLM on natural language to linear temporal logic translation and then carrying out the task using LTL commands. The current write-up can be viewed here.

Pinned

  1. AutoAutism AutoAutism Public

    A Python implementation of Autism auto detection(novel data)

    2

  2. Game-Don-t-Extinct Game-Don-t-Extinct Public

    An improvisation to the classic dinosaur game(we all loved it)

    Pyret

  3. KD-Tree-in-Pyret KD-Tree-in-Pyret Public

    Basic Implementation of KD-Tree in Pyret

  4. MultiLang2LTL MultiLang2LTL Public

    code space for the final project of ENGN 2912U. Multi robot planning powered by natural language to linear temporal logic translation.

    Python