Are there any examples of HFTracer?
The documentation says that HFTracer can symbolically trace models from the library, but I was interested to see some examples, especially around how concrete_args needs to be passed to the trace() for different models.