metadata

title: ReSym Test Space
emoji: 🐢
colorFrom: green
colorTo: indigo
sdk: gradio
sdk_version: 5.22.0
app_file: app.py
pinned: false

ReSym Test Space

This is a test space of the models from the ReSym artifacts. Sadly, at the time I am writing this, not all of ReSym is publicly available; specifically, the Prolog component is not available.

This space simply performs inference on the two pretrained models available as part of the ReSym artifacts. It takes a variable name and some decompiled code as input, and outputs the variable type and other information.

The examples are randomly selected from vardecoder_test.jsonl.

Disclaimer

I'm not a ReSym developer and I may have messed something up. In particular, you must prompt the variable names in the decompiled code as part of the prompt, and I reused some of their own code to do this.

Oddities

sub_40FD86

We do not get the same results for sub_40FD86. In fact, we don't create the same prompt. The prompt in vardecoder_test.jsonl is:

What are the original name and data type of variables `v3`, `v4`, `v5`?

It's unclear why a1, a2, and result are not listed.

Todo

Add field decoding (probably needs Docker)
ReSym's parser fails for functions with a name